scripts/env: replace \! with !
authorRosen Penev <rosenp@gmail.com>
Mon, 6 Jan 2020 02:32:36 +0000 (18:32 -0800)
committerPetr Štetiar <ynezz@true.cz>
Sat, 11 Jul 2020 11:33:28 +0000 (13:33 +0200)
The latter is more standard. The former throws an error under
shellcheck.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
scripts/env

index 563f39c1cfb3a66258e06edb2e6c1aeac6b96e09..19cfa13841969d96bb0992a1fdedb32473b26438 100755 (executable)
@@ -73,7 +73,7 @@ env_init() {
 }
 
 env_sync_data() {
-       [ \! -L "$BASEDIR/.config" ] && [ -f "$BASEDIR/.config" ] && mv "$BASEDIR/.config" "$ENVDIR"
+       [ ! -L "$BASEDIR/.config" ] && [ -f "$BASEDIR/.config" ] && mv "$BASEDIR/.config" "$ENVDIR"
        git add .
        git add -u
 }
@@ -195,7 +195,7 @@ env_new() {
        git checkout -b "$1" "$from"
        if [ -f "$BASEDIR/.config" ] || [ -d "$BASEDIR/files" ]; then
                if ask_bool 1 "Do you want to start your configuration repository with the current configuration?"; then
-                       if [ -d "$BASEDIR/files" ] && [ \! -L "$BASEDIR/files" ]; then
+                       if [ -d "$BASEDIR/files" ] && [ ! -L "$BASEDIR/files" ]; then
                                mkdir -p "$ENVDIR/files"
                                shopt -s dotglob
                                mv "$BASEDIR/files/"* "$ENVDIR/files/" 2>/dev/null