From 268312097f5cc64ce02c183bcc303f08016d7d20 Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Tue, 16 May 2023 07:31:57 +0800 Subject: Update --- bin/init/sync.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'bin/init') diff --git a/bin/init/sync.sh b/bin/init/sync.sh index 5a7c435..351bb74 100755 --- a/bin/init/sync.sh +++ b/bin/init/sync.sh @@ -9,7 +9,8 @@ sync() { [ -z "$(git remote -v)" ] && return pwd - GIT_SSH_COMMAND="ssh -o ControlMaster=no" git pull --quiet || echo Has trouble when syncing `pwd` + GIT_SSH_COMMAND="ssh -o ControlMaster=no" git pull --quiet || \ + echo "Has trouble when syncing $(pwd)" } sed /^#/d ~/.repos | while read -r repo; do @@ -17,7 +18,7 @@ sed /^#/d ~/.repos | while read -r repo; do done while true; do - if test $(jobs -r | wc -l) -gt 0; then + if test "$(jobs -r | wc -l)" -gt 0; then sleep 1; else which notify-send &>/dev/null && notify-send 'Repos synced' -- cgit v1.2.3-70-g09d2