aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xbin/init/sync.sh5
1 files changed, 3 insertions, 2 deletions
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() {
9 [ -z "$(git remote -v)" ] && return 9 [ -z "$(git remote -v)" ] && return
10 10
11 pwd 11 pwd
12 GIT_SSH_COMMAND="ssh -o ControlMaster=no" git pull --quiet || echo Has trouble when syncing `pwd` 12 GIT_SSH_COMMAND="ssh -o ControlMaster=no" git pull --quiet || \
13 echo "Has trouble when syncing $(pwd)"
13} 14}
14 15
15sed /^#/d ~/.repos | while read -r repo; do 16sed /^#/d ~/.repos | while read -r repo; do
@@ -17,7 +18,7 @@ sed /^#/d ~/.repos | while read -r repo; do
17done 18done
18 19
19while true; do 20while true; do
20 if test $(jobs -r | wc -l) -gt 0; then 21 if test "$(jobs -r | wc -l)" -gt 0; then
21 sleep 1; 22 sleep 1;
22 else 23 else
23 which notify-send &>/dev/null && notify-send 'Repos synced' 24 which notify-send &>/dev/null && notify-send 'Repos synced'