projects
/
scripts.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8180bf9
)
Update.
author
Francois Fleuret
<francois@fleuret.org>
Mon, 2 Nov 2015 07:56:38 +0000
(08:56 +0100)
committer
Francois Fleuret
<francois@fleuret.org>
Mon, 2 Nov 2015 07:56:38 +0000
(08:56 +0100)
bashrc
patch
|
blob
|
history
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}"
######################################################################
PS1="\[${VT_WHITE_BG}\]\${LOCAL_HISTORY_HINT}\[${VT_RESET}\]${PS1}"
######################################################################
-# S
witch off the history
+# S
how the history path if it is unusual
function histfile_cue () {
if [[ ! "${HISTFILE}" == "${HOME}/.bash_history" ]]; then
function histfile_cue () {
if [[ ! "${HISTFILE}" == "${HOME}/.bash_history" ]]; then
@@
-902,8
+902,6
@@
PROMPT_COMMAND="prompt_command"
# Displaying the timezone if it is set
# 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}"
######################################################################
######################################################################