diff options
| -rwxr-xr-x | scripts/env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/env b/scripts/env index 726a354b57..df8b486bfe 100755 --- a/scripts/env +++ b/scripts/env @@ -57,7 +57,7 @@ env_init() { if [ -z "$CREATE" ]; then [ -d "$ENVDIR" ] || exit 0 fi - command -v git || error "Git is not installed" + command -v git >/dev/null || error "Git is not installed" mkdir -p "$ENVDIR" || error "Failed to create the environment directory" cd "$ENVDIR" || error "Failed to switch to the environment directory" [ -d .git ] || { |