update

2026-05-20 21:38:53 +02:00
parent 93f10f6fd0
commit 0de869f0fd
9 changed files with 57 additions and 7 deletions
--- a/5
+++ b/5
@@ -2,7 +2,10 @@
 PROJEKT="/home/arbeit/arbeit/filter-mueller.de"
 TICKET_NR="$1"
 DOC=""
-[ -n "$DOC" ] && sudo mount --bind "$DOC" "$PROJEKT/doc"
+if [ -d "$DOC" ]; then
+  mkdir -p "$PROJEKT/doc"
+  sudo mount --bind "$DOC" "$PROJEKT/doc"
+fi

 TAB_TICKET=""
 if [ -n "$TICKET_NR" ]; then