X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;fp=config%2Fdevices;h=4f97446f96ec6800ae4b31279d6a8acd0cd86523;hb=c1edead52e3b254bc305afd1d647b94bd10ca5d4;hp=c1aa6c00494819ec0280901c2016fd77db340f91;hpb=d5d5ea4d068d9272c665358ed84a6297d5dec226;p=pspp-builds.git

diff --git a/config/devices b/config/devices
index c1aa6c00..4f97446f 100644
--- a/config/devices
+++ b/config/devices
@@ -58,6 +58,8 @@ 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:char-set=ascii \
+  output-file=${list-output-file} ${no-attributes} headers=off paginate=off
 
 # ASCII devices that support bold & underline via backspacing.
 tty-ascii-bi:ascii:screen:char-set=ascii output-file=${tty-output-file}