diff --git a/gitprompt.sh b/gitprompt.sh index 720a584..492cd93 100755 --- a/gitprompt.sh +++ b/gitprompt.sh @@ -447,7 +447,7 @@ function createPrivateIndex { __GIT_INDEX_FILE="$GIT_INDEX_FILE" fi __GIT_INDEX_PRIVATE="/tmp/git-index-private$$" - cp "$__GIT_INDEX_FILE" "$__GIT_INDEX_PRIVATE" 2>/dev/null + command cp "$__GIT_INDEX_FILE" "$__GIT_INDEX_PRIVATE" 2>/dev/null echo "$__GIT_INDEX_PRIVATE" } @@ -547,7 +547,7 @@ function updatePrompt() { fi PS1="${NEW_PROMPT//_LAST_COMMAND_INDICATOR_/${LAST_COMMAND_INDICATOR}${ResetColor}}" - rm "$GIT_INDEX_PRIVATE" 2>/dev/null + command rm "$GIT_INDEX_PRIVATE" 2>/dev/null } # Helper function that returns virtual env information to be set in prompt