lots of fixes, new music stuff

[distro-setup] / primary-setup

diff --git a/primary-setup b/primary-setup
index 2ced3c9b831fa952279e91675b0224d07a44d344..b8e594cbd93218e522253dbcbef5c8360d2f663f 100755 (executable)
--- a/primary-setup
+++ b/primary-setup
@@ -5,7 +5,9 @@
 
 source /usr/local/lib/err
 
-pre="${0##*/}:"
+script_name="${BASH_SOURCE[0]}"
+script_name="${script_name##*/}"
+pre="${SSH_CLIENT:+$HOSTNAME} $script_name:"
 m() { printf "$pre %s\n"  "$*"; "$@"; }
 e() { printf "$pre %s\n"  "$*"; }
 err() { echo "[$(date +'%Y-%m-%d %H:%M:%S%z')]: $0: $*" >&2; }