Added the use of $PSCUE.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 10 Feb 2017 16:47:42 +0000 (17:47 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 10 Feb 2017 16:47:42 +0000 (17:47 +0100)
bashrc

diff --git a/bashrc b/bashrc
index b9a22d7..5066b31 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -751,7 +751,9 @@ function mvtoconfig () {
 export PS1
 
 if [[ "${CONSOLE}" == "yes" ]]; then
+
     PS1=""
+
 else
 
     # If the login is a standard one (as specified in
@@ -786,6 +788,8 @@ else
 
 fi
 
+PS1="${PSCUE}${PS1}"
+
 ######################################################################
 # This implements a local history. If we are in a directory containing
 # a writable local history file, we add the last line of the global