diff options
| author | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-07-07 18:16:43 +0200 |
|---|---|---|
| committer | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-07-07 18:16:43 +0200 |
| commit | 1fe4f059d6d8927772924d922b7d33e5711d345f (patch) | |
| tree | 9396dedd1212be89efed163f8050ccbb2dadb472 /.bashrc | |
| parent | da83541f68bf47ca1fc5b03848787123664270cc (diff) | |
Move bash history to bashrc and add time.
Diffstat (limited to '.bashrc')
| -rw-r--r-- | .bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -2,6 +2,10 @@ # Prompt for Bash export PS1='\[\033[1;33m\]$(prompt)\[\033[0m\]' +export HISTCONTROL=ignoredups +export HISTIGNORE="gst:gl" +export HISTTIMEFORMAT="%F %R:%S " +export PROMPT_COMMAND="history -a;history -n" # Verify before running history command shopt -s histverify |