X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;h=d9abd198e23ecab319dcbeb0ab38a79ba2512eaa;hb=6a42f0b711d699333fda01a076b8a27275fc4492;hp=bc28ed608616a9b216ce73a24049c287e1c0a217;hpb=73d0e3cb5a4e99b5d46ea0ca2af5e8cdbaf445bc;p=pspp

diff --git a/config/devices b/config/devices
index bc28ed6086..d9abd198e2 100644
--- a/config/devices
+++ b/config/devices
@@ -58,8 +58,9 @@ tty-ascii:ascii:screen:char-set=ascii output-file=${tty-output-file} \
   ${no-attributes}
 list-ascii:ascii:listing:length=66 width=79 char-set=ascii \
   output-file=${list-output-file} ${no-attributes}
-raw-ascii:ascii:screen:length=9999 char-set=ascii \
-  output-file=${list-output-file} ${no-attributes} headers=off paginate=off
+raw-ascii:ascii:screen:width=9999 length=9999 char-set=ascii \
+  output-file=${list-output-file} ${no-attributes} headers=off paginate=off \
+  squeeze=on top-margin=0 bottom-margin=0
 
 # ASCII devices that support bold & underline via backspacing.
 tty-ascii-bi:ascii:screen:char-set=ascii output-file=${tty-output-file}