make cvs update tmp directory before writing to it

tools/cvs/update.sh

@@ -42,6 +42,7 @@ NO_COLOR='\033[0m'
 #
 main() {
   local tmp=~/tmp/cvsupdate-$$
+  mkdir -p $(dirname $tmp)
   echo "CVS STATUS"
   webis cvs status 2> /dev/zero | grep "Needs merge" | awk '{print "  - "$NF}' > $tmp
   if [ $(cat $tmp | wc -l) -gt 0 ];then

tools/util/mturk_manager_frontend.sh

@@ -51,9 +51,9 @@ main() {
   echo "URL: https://mturk-manager.webis.de/"
   echo "Token: <ask in Discord>"
   if groups | grep &>/dev/null '\bdocker\b'; then
-    docker run -p $FLAGS_port:$internal_port $image:$FLAGS_tag
+    docker run --rm -p $FLAGS_port:$internal_port $image:$FLAGS_tag
   else
-    sudo docker run -p $FLAGS_port:$internal_port $image:$FLAGS_tag
+    sudo docker run --rm -p $FLAGS_port:$internal_port $image:$FLAGS_tag
   fi
 }
 #