mirror of
https://gitea.blesmrt.net/mikaela/shell-things.git
synced 2024-11-25 12:49:26 +01:00
bashrc: fix history saving (#46)
This commit is contained in:
parent
f26105afd4
commit
15511cb230
3
bashrc
3
bashrc
@ -26,6 +26,9 @@ fi
|
|||||||
# If not running interactively, don't do anything
|
# If not running interactively, don't do anything
|
||||||
[ -z "$PS1" ] && return
|
[ -z "$PS1" ] && return
|
||||||
|
|
||||||
|
# save history
|
||||||
|
export PROMPT_COMMAND='history -a'
|
||||||
|
|
||||||
# don't put duplicate lines in the history. See bash(1) for more options
|
# don't put duplicate lines in the history. See bash(1) for more options
|
||||||
# ... or force ignoredups and ignorespace
|
# ... or force ignoredups and ignorespace
|
||||||
HISTCONTROL=ignoredups
|
HISTCONTROL=ignoredups
|
||||||
|
Loading…
Reference in New Issue
Block a user