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     ! 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"