scripts/env: replace \! with !

The latter is more standard. The former throws an error under
shellcheck.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
This commit is contained in:
Rosen Penev 2020-01-05 18:32:36 -08:00 committed by Petr Štetiar
parent 56f813674a
commit e68810ba53

View File

@ -73,7 +73,7 @@ env_init() {
} }
env_sync_data() { 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 .
git add -u git add -u
} }
@ -195,7 +195,7 @@ env_new() {
git checkout -b "$1" "$from" git checkout -b "$1" "$from"
if [ -f "$BASEDIR/.config" ] || [ -d "$BASEDIR/files" ]; then 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 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" mkdir -p "$ENVDIR/files"
shopt -s dotglob shopt -s dotglob
mv "$BASEDIR/files/"* "$ENVDIR/files/" 2>/dev/null mv "$BASEDIR/files/"* "$ENVDIR/files/" 2>/dev/null