X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;h=48513fe6bc83899b127136dad62994f2a28cc72c;hb=HEAD;hp=32d51befd6ef041bfcea8b77f4b12cfa07425dd4;hpb=baf657198fcf0cabe289246dc07a82da67c86f5b;p=pspp-builds.git

diff --git a/config/devices b/config/devices
index 32d51bef..48513fe6 100644
--- a/config/devices
+++ b/config/devices
@@ -50,10 +50,9 @@ define list-output-file "pspp.list"
 
 # Generic ASCII devices
 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}
+  paginate=off length=auto width=auto 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} \
+raw-ascii:ascii:listing:width=9999 length=9999 output-file=${list-output-file} \
   emphasis=none headers=off paginate=off squeeze=on \
   top-margin=0 bottom-margin=0