bash_profile: Modify LESS settings.

In particular, I agree that -F (quit if less than a page) is useful,
particularly with Git, and then the terminal-init string is a nuisance,
so kill that with -X.

diff --git a/bash_profile b/bash_profile
index 1f0306c22678f8921f66449bdfefcda2ae4e1f90..db97ecd72da7a269877481ad7e48204800993fd6 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -135,7 +135,7 @@ export SVNROOT=`__mdw_conf svn-root`
 export BECOME="--preserve-environment"
 
 export PAGER=`type -p less` METAMAIL_PAGER=`type -p less`
 export BECOME="--preserve-environment"
 
 export PAGER=`type -p less` METAMAIL_PAGER=`type -p less`

-export LESS="-iqgRh1"
+export LESS="-iqgRh1FX"

 export LESSOPEN="|lesspipe.sh %s"
 export LESSCHARSET=latin1
 # export MAKEFLAGS="-j4"
 export LESSOPEN="|lesspipe.sh %s"
 export LESSCHARSET=latin1
 # export MAKEFLAGS="-j4"