diff options
| author | Jan Tuomi <jan@jantuomi.fi> | 2026-05-13 00:13:57 +0300 |
|---|---|---|
| committer | Jan Tuomi <jan@jantuomi.fi> | 2026-05-16 18:42:27 +0300 |
| commit | b5860daf11ac353049cb1654b9414a129e5cfb96 (patch) | |
| tree | 87ed89711e4f0e85ace0a97fa123199152c67302 /roles/host/files/root_bashrc | |
| parent | 4715a28fdcd87440400d17154bfa361d99db29cc (diff) | |
Rework
Diffstat (limited to 'roles/host/files/root_bashrc')
| -rw-r--r-- | roles/host/files/root_bashrc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/roles/host/files/root_bashrc b/roles/host/files/root_bashrc new file mode 100644 index 0000000..f580db6 --- /dev/null +++ b/roles/host/files/root_bashrc @@ -0,0 +1,7 @@ +HISTCONTROL=ignoredups:erasedups # no duplicate entries +HISTSIZE=100000 # big big history +HISTFILESIZE=100000 # big big history +shopt -s histappend # append to history, don't overwrite it + +# Save and reload the history after each command finishes +PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND" |