Merge pull request #58055 from dtzWill/fix/zsh-history-dont-export-vars

zsh: don't export HISTFILE and friends
This commit is contained in:
Jörg Thalheim 2019-03-22 07:02:29 +00:00 committed by GitHub
commit e6ad7eeecd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -189,9 +189,10 @@ in
. /etc/zinputrc
export SAVEHIST=${toString cfg.histSize}
export HISTSIZE=${toString cfg.histSize}
export HISTFILE=${cfg.histFile}
# Don't export these, otherwise other shells (bash) will try to use same histfile
SAVEHIST=${toString cfg.histSize}
HISTSIZE=${toString cfg.histSize}
HISTFILE=${cfg.histFile}
${optionalString (cfg.setOptions != []) "setopt ${concatStringsSep " " cfg.setOptions}"}