From d62cbf930001d3f99552ea853fe7aac2f88ecd8d Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Fri, 10 Feb 2017 17:47:42 +0100
Subject: [PATCH] Added the use of $PSCUE.

---
 bashrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bashrc b/bashrc
index b9a22d7..5066b31 100644
--- 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
-- 
2.20.1