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

diff --git a/config/devices b/config/devices
index 7da8eac8..48513fe6 100644
--- a/config/devices
+++ b/config/devices
@@ -50,8 +50,7 @@ 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:listing:width=9999 length=9999 output-file=${list-output-file} \
   emphasis=none headers=off paginate=off squeeze=on \