Update.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 2 Nov 2015 07:56:38 +0000 (08:56 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 2 Nov 2015 07:56:38 +0000 (08:56 +0100)
bashrc

diff --git a/bashrc b/bashrc
index 4e2a151..fff96ac 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -761,7 +761,7 @@ function keep_local_history () {
 PS1="\[${VT_WHITE_BG}\]\${LOCAL_HISTORY_HINT}\[${VT_RESET}\]${PS1}"
 
 ######################################################################
-# Switch off the history
+# Show the history path if it is unusual
 
 function histfile_cue () {
     if [[ ! "${HISTFILE}" == "${HOME}/.bash_history" ]]; then
@@ -902,8 +902,6 @@ PROMPT_COMMAND="prompt_command"
 
 # Displaying the timezone if it is set
 
-if [[ ${TZ} ]]; then
-    echo "${VT_BLUE_FG}Time zone is ${TZ}.${VT_RESET}"
-fi
+[[ ${TZ} ]] && echo "${VT_BLUE_FG}Time zone is ${TZ}.${VT_RESET}"
 
 ######################################################################