diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2012-08-17 17:26:59 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2012-08-17 17:26:59 +1200 |
commit | bcd34b1bcb445c23564fb9d5c81af5578520fe44 (patch) | |
tree | 601117964565d986eed57f88006c01796fa0a670 /bash | |
parent | Don't need this hack anymore (diff) | |
download | dotfiles-bcd34b1bcb445c23564fb9d5c81af5578520fe44.tar.gz dotfiles-bcd34b1bcb445c23564fb9d5c81af5578520fe44.zip |
Only set PAGER if a good one exists
Diffstat (limited to 'bash')
-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 |