pull.sh: update for flattened repo (only . kde webui remain)

2026-07-30 19:42:21 +02:00 · 2026-07-30 19:42:21 +02:00 · df22946249
parent b6cdd3d369
commit df22946249
1 changed files with 7 additions and 2 deletions
--- a/pull.sh
+++ b/pull.sh
@ -1,3 +1,8 @@
 #!/bin/bash
-
-for d in . 9p acme core el httpgw kde skills webui; do pushd $d; git checkout main; git pull; popd; done
+set -e
+for d in . kde webui; do
+    pushd "$d" >/dev/null
+    git checkout main
+    git pull
+    popd >/dev/null
+done