2020-05-03 00:27:25 -04:00
|
|
|
-- Switch pagers with :x and :xx commands
|
2020-05-17 00:18:56 -04:00
|
|
|
\set x '\\setenv PAGER ''less -S'''
|
2020-05-03 00:27:25 -04:00
|
|
|
\set xx '\\setenv PAGER \'pspg -bX --no-mouse\''
|
2023-04-04 10:32:58 -04:00
|
|
|
\timing on
|
2023-09-18 14:13:31 -04:00
|
|
|
\set QUIET 1
|
|
|
|
\pset linestyle unicode
|
|
|
|
-- \pset border 2
|
|
|
|
\pset null ∅
|
|
|
|
\unset QUIET
|