From d9930e7823c007964a023880587f23db98754eb8 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Mon, 2 Nov 2015 08:56:38 +0100
Subject: [PATCH] Update.

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

diff --git a/bashrc b/bashrc
index 4e2a151..fff96ac 100644
--- 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}"
 
 ######################################################################
-- 
2.20.1