Messages in this thread Patch in this message |  | | Date | Sat, 25 May 1996 13:29:23 -0700 | From | Tom May <> | Subject | Configure should use $PAGER in preference to `more'. |
| |
scripts/Configure should use the value of $PAGER if it is set instead of hardcoding the use of `more' to display help text. This patch is against pre2.0.7.
--- linux/scripts/Configure.0 Wed Mar 27 20:59:05 1996 +++ linux/scripts/Configure Sat May 25 13:11:36 1996 @@ -90,7 +90,7 @@ then echo; echo " Sorry, no help available for this option yet.";echo else - (echo; echo "$text"; echo) | more + (echo; echo "$text"; echo) | ${PAGER:-more} fi else echo; Tom (who hasn't used more since less came out).
|  |