„update.sh“ ändern

2020-09-16 16:24:38 +02:00 · 2020-09-16 16:24:38 +02:00 · 0a8f8564f5
commit 0a8f8564f5
parent 1219212726
1 changed files with 1 additions and 0 deletions
--- a/update.sh
+++ b/update.sh
@ -14,6 +14,7 @@ function look_for_update() {
  if [[ -f $1/update.sh ]]; then
    echo "Switch to subdir $1 and run update.sh"
    cd "$1"
+    git pull
    bash -c "./update.sh nobreak"
  else
    if [[ -f $1/.git ]]