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