lots of smaller fixes

2021-08-09 20:59:55 +02:00
parent d75db8e18c
commit 1504fc779a
16 changed files with 233 additions and 100 deletions
--- a/export.sh
+++ b/export.sh
@@ -1,4 +1,4 @@
-if [[ $_ == $0 ]]
+if [[ $_ == $0 ]] && [[ "$1" != "--skip-source-check" ]]
 then
    echo "export.sh has to be sourced, not run in a subshell"
    echo ". export.sh"