usertool.pl: update pager setting logic
commit47e5fb56211dae9929b214b4b3ea3d8903546265
authorKyle J. McKay <mackyle@gmail.com>
Tue, 2 Mar 2021 00:21:40 +0000 (1 17:21 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Tue, 2 Mar 2021 00:21:40 +0000 (1 17:21 -0700)
tree006ffb3e061bfddb712ea861320dea6a6f774e84
parent38eb6b314484c5855887504c3cc7f0e12cb5be85
usertool.pl: update pager setting logic

Bring over the same new logic from projtool.pl that allows
some commands to disable the pager by default without completely
disallowing it.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
toolbox/usertool.pl