X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;fp=config%2Fdevices;h=7da8eac81a79e6bf6921d3eabf5653535b9803b3;hb=f2ccb1b5f0ad814c1e6fcbc8f1ecaa62913b7e53;hp=32d51befd6ef041bfcea8b77f4b12cfa07425dd4;hpb=69c480051cc6f804a3a1a71a4e28e9e5b03a5705;p=pspp

diff --git a/config/devices b/config/devices
index 32d51befd6..7da8eac81a 100644
--- a/config/devices
+++ b/config/devices
@@ -53,7 +53,7 @@ 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} \
+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