diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2018-09-09 19:50:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-09 19:50:23 +0200 |
| commit | fe5fe81c8cfa66981c51d149a35fe545f2ef5016 (patch) | |
| tree | c8f442550cd9947d1d4ccfa9cdff195bc2bcbb61 | |
| parent | 08a280863661dd44aad20d494187d9c4ba12fac9 (diff) | |
| download | zsh-fe5fe81c8cfa66981c51d149a35fe545f2ef5016.tar.gz zsh-fe5fe81c8cfa66981c51d149a35fe545f2ef5016.tar.bz2 zsh-fe5fe81c8cfa66981c51d149a35fe545f2ef5016.zip | |
lib: quote arguments to env_default
Fixes #7117
| -rw-r--r-- | lib/misc.zsh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/misc.zsh b/lib/misc.zsh index 3052b7710..f45c10757 100644 --- a/lib/misc.zsh +++ b/lib/misc.zsh @@ -18,9 +18,8 @@ fi ## jobs setopt long_list_jobs -## pager -env_default PAGER 'less' -env_default LESS '-R' +env_default 'PAGER' 'less' +env_default 'LESS' '-R' ## super user alias alias _='sudo' |