diff --git a/require-ess/tools/iocsh_functions.bash b/require-ess/tools/iocsh_functions.bash index 89300b496821122daa21a999eb2cd87cfe9c901c..75a6dd6d561031f1a59c58f2747da75375e3b06a 100644 --- a/require-ess/tools/iocsh_functions.bash +++ b/require-ess/tools/iocsh_functions.bash @@ -158,12 +158,14 @@ function die() { #@ Print error message and exit with error code function iocsh_ps1() { local iocsh_ps1="" local pid="$1" - # Keep only short hostname (without domain) - local host=${HOSTNAME%%.*} - iocsh_ps1+=${host:0:15} - iocsh_ps1+="-" - iocsh_ps1+=$pid + # If IOCNAME is not set use pid instead + if [ -z "${IOCNAME}" ]; then + iocsh_ps1+=${pid} + else + iocsh_ps1+="${IOCNAME}" + fi + iocsh_ps1+=" > " echo "${iocsh_ps1}"