When .disabled is present, do not pull repo

2022-08-19 21:00:45 +02:00 · 2022-08-19 21:00:45 +02:00 · e2dcc5cf7c
commit e2dcc5cf7c
parent dd0f0e115d
1 changed files with 4 additions and 0 deletions
--- a/conf-sync.sh
+++ b/conf-sync.sh
@ -8,6 +8,10 @@ for dir in $sync_directory/*; do
    echo "$dir: not a Git repo"
    continue
  fi
+  if [ -f $dir/.disabled ]; then
+    echo "$dir update is disabled."
+    continue
+  fi
  git -C $dir fetch 2>/dev/null >/dev/null
  UPSTREAM=${1:-'@{u}'}
  LOCAL=$(git -C $dir rev-parse @)