X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fdevices;h=48513fe6bc83899b127136dad62994f2a28cc72c;hb=HEAD;hp=94cba3af833d6d17ae7b7368a0aa82787c0eb90c;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp-builds.git diff --git a/config/devices b/config/devices index 94cba3af..48513fe6 100644 --- a/config/devices +++ b/config/devices @@ -41,18 +41,18 @@ # referenced with $var or ${var} syntax; the latter is preferred. # Preferred devices. -default=tty list -tty=#tty-ibmpc -list=list-ascii +default=list-ascii +interactive=tty-ascii # Output files. -define tty-output-file "/dev/tty" +define tty-output-file "|more" define list-output-file "pspp.list" # Generic ASCII devices -tty-ascii:ascii:screen:output-file=${tty-output-file} +tty-ascii:ascii:screen:squeeze=on headers=off top-margin=0 bottom-margin=0 \ + 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 @@ -60,6 +60,20 @@ raw-ascii:ascii:screen:width=9999 length=9999 output-file=${list-output-file} \ tty-ascii-bi:ascii:screen:output-file=${tty-output-file} list-ascii-bi:ascii:listing:length=66 width=79 output-file=${list-output-file} +# VT100 graphics devices. +define vt100-graphics \ + init='\033(B\033)0' \ + box[1000]='\16q\17' box[1010]='\16q\17' box[0010]='\16q\17' \ + box[0100]='\16x\17' box[0101]='\16x\17' box[0001]='\16x\17' \ + box[0011]='\16j\17' box[1100]='\16l\17' box[0110]='\16k\17' \ + box[1001]='\16m\17' box[1110]='\16w\17' box[1101]='\16t\17' \ + box[0111]='\16u\17' box[1011]='\16v\17' box[1111]='\16n\17' + +tty-vt100:ascii:screen:squeeze=on headers=off top-margin=0 bottom-margin=0 \ + paginate=off output-file=${tty-output-file} ${vt100-graphics} +list-vt100:ascii:listing:length=66 width=79 output-file=${list-output-file} \ + ${vt100-graphics} + # HTML device. html:html::