diff --git a/pull.sh b/pull.sh
index d7bd42b..9b1f1b8 100755
--- 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