home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume15 / tpscript / part01 / pscript / setidle.sh < prev    next >
Encoding:
Text File  |  1988-05-25  |  374 b   |  20 lines
  1. # Select the fonts to be idle time scanned
  2. if [ $# != 1 ]
  3. then
  4.     echo "Usage: setidle passwd-number" 1>&2
  5.     exit 1
  6. fi
  7. cat <<!
  8. %!
  9. $1 serverdict begin exitserver
  10. statusdict begin
  11.     mark
  12.     4 100 100 0 94    % Times-Roman 10 point
  13.     5 100 100 0 94    % Times-Bold 10 point
  14.     6 100 100 0 94    % Times-Italic 10 point
  15.     setidlefonts
  16. end
  17. (idle time font scan changed\n) print flush
  18. !
  19. echo "\004"
  20.