cleanup: simplify merge command in dot

2020-11-12 19:08:01 +01:00 · 2020-11-12 19:08:01 +01:00 · 362b7af10d
commit 362b7af10d
parent bf136ba0c1
1 changed files with 1 additions and 3 deletions
--- a/.local/bin/dot
+++ b/.local/bin/dot
@ -42,9 +42,7 @@ case $1 in
 			else
 				branches="$(echo "$($git branch)" | sed -e 's/\*/ /;t')"
 				for arg in $branches ; do
-					if [ "$arg" != "dev" ] ; then
-						$git checkout $arg && $git merge dev
-					fi
+					[ "$arg" != "dev" ] && $git checkout $arg && $git merge dev
 				done
 			fi
 			cmd="$git checkout dev"