Bash history now uses host specific file.
This commit is contained in:
parent
8e79f591df
commit
ec24e87c5a
1 changed files with 2 additions and 1 deletions
3
.bashrc
3
.bashrc
|
@ -161,8 +161,9 @@ IGNOREEOF=0
|
||||||
|
|
||||||
# History control.
|
# History control.
|
||||||
HISTCONTROL="ignoredups"
|
HISTCONTROL="ignoredups"
|
||||||
|
HISTFILE="$HOME/.bash_history-$(hostname --short)"
|
||||||
HISTFILESIZE=100000
|
HISTFILESIZE=100000
|
||||||
HISTIGNORE="w:bg:bg *:fg:fg *:jobs:exit:pwd:clear:history"
|
HISTIGNORE="bg:bg *:fg:fg *:jobs:exit:clear:history"
|
||||||
HISTSIZE=-1
|
HISTSIZE=-1
|
||||||
HISTTIMEFORMAT="%d/%m/%y %H:%M:%S "
|
HISTTIMEFORMAT="%d/%m/%y %H:%M:%S "
|
||||||
history -r
|
history -r
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue