etc/settings
changeset 14933 3fd8c03e3ee6
parent 14871 1dad51c852ad
child 14942 78ddcbebace1
equal deleted inserted replaced
14932:df56e644da8f 14933:3fd8c03e3ee6
   151 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   151 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   152 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   152 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   153 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   153 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   154 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   154 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   155 
   155 
       
   156 #Printer spool command for PS files
       
   157 PRINT_COMMAND=lp
       
   158 
   156 
   159 
   157 ###
   160 ###
   158 ### Interfaces
   161 ### Interfaces
   159 ###
   162 ###
   160 
   163