build: store SOURCE_DATE_EPOCH in JSON info files

[openwrt/openwrt.git] / scripts / env

diff --git a/scripts/env b/scripts/env
index 848850a778883a36278ee67aba3939b5d122dbc5..df8b486bfece2a3385400a241e902a20915b717a 100755 (executable)
--- a/scripts/env
+++ b/scripts/env
@@ -22,7 +22,7 @@ Commands:
 Options:
 
 EOF
-       exit ${1:-1}
+       exit "${1:-1}"
 }
 
 error() {
@@ -42,7 +42,7 @@ ask_bool() {
                local VAL
 
                echo -n "$* ($defstr): "
-               read VAL
+               read -r VAL
                case "$VAL" in
                        y*|Y*) val=0;;
                        n*|N*) val=1;;
@@ -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 ] || {