diff options
author | Rosen Penev <rosenp@gmail.com> | 2019-12-31 18:01:43 -0800 |
---|---|---|
committer | Adrian Schmutzler <freifunk@adrianschmutzler.de> | 2020-01-02 23:56:19 +0100 |
commit | 995378a2a56d132594834a31c370d877c7d46d5c (patch) | |
tree | acb2027a91c45003accc810ba7edd83c46131f64 | |
parent | 2fe5319d587c9c66ecbd7acbd5efbc1ff6fac8a8 (diff) | |
download | upstream-995378a2a56d132594834a31c370d877c7d46d5c.tar.gz upstream-995378a2a56d132594834a31c370d877c7d46d5c.tar.bz2 upstream-995378a2a56d132594834a31c370d877c7d46d5c.zip |
scripts/env: replace -a and -o with &&/||
The former are not well defined.
Found with shellcheck.
Signed-off-by: Rosen Penev <rosenp@gmail.com>
-rwxr-xr-x | scripts/env | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/env b/scripts/env index f93a587894..7bfca58c5d 100755 --- a/scripts/env +++ b/scripts/env @@ -73,7 +73,7 @@ env_init() { } env_sync_data() { - [ \! -L "$BASEDIR/.config" -a -f "$BASEDIR/.config" ] && mv "$BASEDIR/.config" "$ENVDIR" + [ \! -L "$BASEDIR/.config" ] && [ -f "$BASEDIR/.config" ] && mv "$BASEDIR/.config" "$ENVDIR" git add . git add -u } @@ -185,7 +185,7 @@ env_new() { env_init 1 branch="$(git branch | grep '^\* ' | awk '{print $2}')" - if [ -n "$branch" -a "$branch" != "master" ]; then + if [ -n "$branch" ] && [ "$branch" != "master" ]; then env_ask_sync if ask_bool 0 "Do you want to clone the current environment?"; then from="$branch" @@ -193,15 +193,15 @@ env_new() { rm -f "$BASEDIR/.config" "$BASEDIR/files" fi git checkout -b "$1" "$from" - if [ -f "$BASEDIR/.config" -o -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 - [ -d "$BASEDIR/files" -a \! -L "$BASEDIR/files" ] && { + if [ -d "$BASEDIR/files" ] && [ \! -L "$BASEDIR/files" ]; then mkdir -p "$ENVDIR/files" shopt -s dotglob mv "$BASEDIR/files/"* "$ENVDIR/files/" 2>/dev/null shopt -u dotglob rmdir "$BASEDIR/files" - } + fi env_sync else rm -rf "$BASEDIR/.config" "$BASEDIR/files" |