X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;h=ab96d66d7a77ffa0472a0914f721c435d08dc4b5;hb=458d169f64134f4e0a9d9b72398666a01761fcf8;hp=94cba3af833d6d17ae7b7368a0aa82787c0eb90c;hpb=56728c4e740a15c66266f54bed1307299f723f56;p=pspp-builds.git

diff --git a/config/devices b/config/devices
index 94cba3af..ab96d66d 100644
--- a/config/devices
+++ b/config/devices
@@ -41,16 +41,17 @@
 # referenced with $var or ${var} syntax; the latter is preferred.
 
 # Preferred devices.
-default=tty list
-tty=#tty-ibmpc
-list=list-ascii
+default=list-ascii
+interactive=tty-ascii
 
 # Output files.
-define tty-output-file "/dev/tty"
+define tty-output-file "|more"
 define list-output-file "pspp.list"
 
 # Generic ASCII devices
-tty-ascii:ascii:screen:output-file=${tty-output-file}
+tty-ascii:ascii:screen:squeeze=on headers=off top-margin=0 bottom-margin=0 \
+  paginate=off length=${viewlength} width=${viewwidth} \
+  output-file=${tty-output-file}
 list-ascii:ascii:listing:length=66 width=79 output-file=${list-output-file}
 raw-ascii:ascii:screen:width=9999 length=9999 output-file=${list-output-file} \
   emphasis=none headers=off paginate=off squeeze=on \