From 5a333b8fab7e055dd209853979a2e3b3ea3f877a Mon Sep 17 00:00:00 2001
From: "Lucas A. M. Magalhaes" <lucas.magalhaes@ess.eu>
Date: Wed, 12 Oct 2022 14:03:15 +0200
Subject: [PATCH] Change iocsh PS1 to show IOCNAME
---
require-ess/tools/iocsh_functions.bash | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/require-ess/tools/iocsh_functions.bash b/require-ess/tools/iocsh_functions.bash
index 89300b49..75a6dd6d 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}"
--
GitLab