diff options
-rw-r--r-- | bash/bashrc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash/bashrc b/bash/bashrc index 9e95f1f2..69302c3b 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -5,12 +5,12 @@ export EDITOR=vi export VISUAL=$EDITOR -# Use less as my pager. -export PAGER=less - # My GPG key ID for convenience. export GPGKEY=255AAC13 +# Use less as my pager if available. +hash less &>/dev/null && export PAGER=less + # Keep plenty of history. HISTFILESIZE=1000000 HISTSIZE=1000000 |