diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2023-12-09 13:20:13 -0800 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2023-12-09 13:20:13 -0800 |
| commit | 7e951c254e779ff0620537cf43ca69dd878387b4 (patch) | |
| tree | cb042e695bb3e11ed0483fad1af8a5b4f1bfc8d8 /lib/misc.zsh | |
| parent | 4d908094fdc2a0c0e9a0a072eba213fab7adef43 (diff) | |
| parent | 48ccc7b36de8efb2bd7beb9bd6e0a6f6fe03b95d (diff) | |
| download | zsh-7e951c254e779ff0620537cf43ca69dd878387b4.tar.gz zsh-7e951c254e779ff0620537cf43ca69dd878387b4.tar.bz2 zsh-7e951c254e779ff0620537cf43ca69dd878387b4.zip | |
Merge remote-tracking branch 'github/master'
Diffstat (limited to 'lib/misc.zsh')
| -rw-r--r-- | lib/misc.zsh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/misc.zsh b/lib/misc.zsh index 132f33551..ff2017713 100644 --- a/lib/misc.zsh +++ b/lib/misc.zsh @@ -19,8 +19,13 @@ setopt multios # enable redirect to multiple streams: echo >file1 > setopt long_list_jobs # show long list format job notifications setopt interactivecomments # recognize comments -env_default 'PAGER' 'less' -env_default 'LESS' '-R' +# define pager dependant on what is available (less or more) +if (( ${+commands[less]} )); then + env_default 'PAGER' 'less' + env_default 'LESS' '-R' +elif (( ${+commands[more]} )); then + env_default 'PAGER' 'more' +fi ## super user alias alias _='sudo ' |