diff options
| author | Marco Trevisan <mail@3v1n0.net> | 2020-06-03 19:34:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 19:34:57 +0200 |
| commit | ed4e317bbbd9966da2b4b85893c8d55c9ffbfd66 (patch) | |
| tree | b725bdf7c63438313dfc9ab9d9aae41bbde39990 /themes/avit.zsh-theme | |
| parent | 82f02e80a669d099d79a531cf8fb6a0e34d4478c (diff) | |
| download | zsh-ed4e317bbbd9966da2b4b85893c8d55c9ffbfd66.tar.gz zsh-ed4e317bbbd9966da2b4b85893c8d55c9ffbfd66.tar.bz2 zsh-ed4e317bbbd9966da2b4b85893c8d55c9ffbfd66.zip | |
lib: don't override bigger HISTSIZE and SAVEHIST values (#8993)
oh-my-zsh Changes the HISTSIZE and SAVEHIST values to fixed sizes,
however if a bigger value is set in ~/.zshrc, it will override it,
potentially causing the user history to be deleted.
So, only set these values if no other is set and if it is lower than the
default ones.
Diffstat (limited to 'themes/avit.zsh-theme')
0 files changed, 0 insertions, 0 deletions