diff --git a/eth/user/storage_create_teaching.sh b/eth/user/storage_create_teaching
similarity index 100%
rename from eth/user/storage_create_teaching.sh
rename to eth/user/storage_create_teaching
diff --git a/get-sysinfo.sh b/get-sysinfo.sh
index 44d9317..32fcdea 100755
--- a/get-sysinfo.sh
+++ b/get-sysinfo.sh
@@ -23,10 +23,6 @@
 
 host="$(hostname)"
 dest="${0##*/}.${host}.log"
-prog="| tee ${dest}"
-
-# output to stdout
-[ "$1" = "-" ] && prog=""
 
 (
    # log, what produced the output