push: increase verbosity
authorJulien Moutinho <julm@sourcephile.fr>
Sun, 5 Mar 2023 00:48:11 +0000 (01:48 +0100)
committerJulien Moutinho <julm@sourcephile.fr>
Sun, 5 Mar 2023 00:48:11 +0000 (01:48 +0100)
push.sh

diff --git a/push.sh b/push.sh
index 10f3e1336d6d59a191a42e2567ee500b51b6b6c8..3983c529e751f3f018e10eeb3741e8b733b94cb8 100755 (executable)
--- a/push.sh
+++ b/push.sh
@@ -2,7 +2,7 @@
 # Usage:
 #   $ ./push.sh julm/2023
 cd "${0%/*}"
-set -eu
+set -eux
 
 for dir in "$@"; do
   IFS=/ read -r user year x month x <<<"$dir"