lots: shellcheck, streaming stuff, fixes

[distro-setup] / demohost-mount

diff --git a/demohost-mount b/demohost-mount
index 90d2b42497cedfa56e7420e8a74a235c49a7935e..91e984fdcadcb43ec0f745fcd7915034a82ac98d 100755 (executable)
--- a/demohost-mount
+++ b/demohost-mount
@@ -1,4 +1,5 @@
 #!/bin/bash
+# shellcheck source=/a/bin/ds/.bashrc
 if [[ -s ~/.bashrc ]];then . ~/.bashrc;fi
 
 [[ $EUID == 0 ]] || exec sudo -E "${BASH_SOURCE[0]}" "$@"