Return to gprc.dos CVS log

Up to [local] / OpenXM_contrib / pari-2.2 / misc

Annotation of OpenXM_contrib/pari-2.2/misc/gprc.dos, Revision 1.1.1.1

1.1       noro        1: \\ $Id: gprc.dos,v 1.2 1999/11/03 18:43:04 karim Exp $
                      2: \\
                      3: \\  SAMPLE GP INIT FILE (for DOS boxes)
                      4: \\
                      5: \\  See gprc.dft for the general syntax and explanations
                      6: \\  Customize, then copy to $HOME/_gprc (or $GPRC) or /etc/gprc
                      7:
                      8: \\ compatible = 0
                      9:
                     10: \\ read "lib/gpalias"
                     11:
                     12: \\ secure = 1
                     13:
                     14: \\ under DOS, directories are separated by ';', not ':'
                     15: \\ path = ".;~;..;~/gpdir"
                     16:
                     17: \\ the readline we supply is old and doesn't have ^A / ^B
                     18: prompt = "(%H:%M) \e[1mgp\e[m > "
                     19: #if READL prompt = "(%H:%M) gp > "
                     20: #if EMACS prompt = "? "
                     21:
                     22: #ifnot EMACS colors = "1, 5, no, no, 6, 1, 2"
                     23:
                     24: \\ #ifnot EMACS help = "/usr/local/bin/gphelp -detex -ch 4 -cb 0 -cu 2"
                     25:
                     26: \\ parisize = 10M
                     27: \\ primelimit = 1M
                     28: \\ timer = 1
                     29:
                     30: \\ logfile  = "~/tmp/pari-%d.%m"
                     31: \\ log = 1
                     32:
                     33: \\ psfile = "~/tmp/pari.ps"