Return to gprc.dft CVS log

Up to [local] / OpenXM_contrib / pari / misc

Annotation of OpenXM_contrib/pari/misc/gprc.dft, Revision 1.1.1.1

1.1       maekawa     1: /*  .gprc   (c) K.B. version 2.14 (11 June 1999)
                      2:  *
                      3:  * SAMPLE GP INIT FILE.
                      4:  *
                      5:  * Customize (by uncommenting and modifying the relevant lines) and put in
                      6:  * $HOME/.gprc (or $GPRC) or /etc/gprc. Syntax explained at the end. */
                      7:
                      8: \\ read "lib/gpalias"
                      9: /* Read lib/gpalias BEFORE gp prompts you for commands.
                     10:  * The file contains some standard abbreviations (correct the path!!!) */
                     11:
                     12: \\ secure = 1
                     13: /* Disable commands system() and extern(). These commands are dangerous
                     14:  * since they allow scripts to execute arbitrary Unix commands */
                     15:
                     16: \\ compatible = 0
                     17: /* CAUTION: scripts written in the old (1.x) syntax WILL NOT WORK AS BEFORE.
                     18:  * If compatible>1, the OLD functions are the ONLY ONES known to gp, save
                     19:  * for default() itself */
                     20:
                     21: \\ path = ".:~:~/gpdir"
                     22: /* List of directories where gp will look for scripts (separated by ':',
                     23:  * use "\:" to insert a real ":"). The ~ notation may not be available on
                     24:  * your system */
                     25:
                     26: prompt = "(%R) \e[1mgp\e[m > "
                     27: #if READL prompt = "(%R) &\e[1mgp&\e[m > "
                     28: #if EMACS prompt = "? "
                     29: /* Set gp prompt. % is used for macros related to the time of day [back to
                     30:  * the shell prompt, try "man strftime"]. Example: %R = time of day in the
                     31:  * form HH:MM. Characters can be escaped UNIX-style using '\', e.g \e = <ESC>
                     32:  *
                     33:  * Above, the first escape sequence sets a bold font, the second restores
                     34:  * the original (so we get a bold "gp"), and we prefix by the time of day
                     35:  *
                     36:  * CAUTION1: If you have escape sequences in your prompt (as above) and use
                     37:  * readline, you will get display bugs. With a recent enough readline, you
                     38:  * can work around those by bracing non-visible characters between ^A/^B
                     39:  * pairs (see manual), like this:
                     40:  *
                     41:  * #if READL prompt = "(%R) &\e[1mgp&\e[m > "
                     42:  *                          ^^_____^^ brace the "set bold" sequence \e[1m
                     43:  *
                     44:  * CAUTION2: If you plan to use gp under emacs, do not tamper with the prompt
                     45:  * variable UNLESS you also set correctly the gp-prompt-pattern regexp in
                     46:  * your .emacs. For instance, if to use:
                     47:  *
                     48:  * #if EMACS prompt = "(%R) gp > "
                     49:  *
                     50:  * add the following two lines in your .emacs:
                     51:  *
                     52:  * (setq gp-prompt-pattern
                     53:  *  (concat "^([0-9][0-9]:[0-9][0-9]) gp > [\C-j\t ]*\\|" gp-prompt-pattern))
                     54:  */
                     55:
                     56: \\ clear background:
                     57: \\   #ifnot EMACS colors = "9, 5, no, no, 4, 1, 2"
                     58: \\ dark background:
                     59: \\   #ifnot EMACS colors = "9, 1, no, no, 6, 1, 2"
                     60: /* If your terminal supports color. These are suggested values that don't
                     61:  * look too bad with the colormap provided with the distribution (under
                     62:  * emacs you have to customize colors using the Menu Bar). */
                     63:
                     64: \\ Extended help options (don't interact well with emacs):
                     65: \\ Don't use TeX + xdvi, but outputs formatted help in GP window:
                     66: \\   #ifnot EMACS help = "/usr/local/bin/gphelp -detex"
                     67: \\ Same, using colors:
                     68: \\   #ifnot EMACS help = "/usr/local/bin/gphelp -detex -ch 4 -cb 0 -cu 2"
                     69:
                     70: \\ Stack size : 10MB.
                     71: \\ parisize = 10 000 000
                     72:
                     73: \\ Biggest precomputed prime
                     74: \\ primelimit = 1 000 000
                     75:
                     76: \\ Set timer on
                     77: \\ timer = 1
                     78:
                     79: \\ Set logfile name and enable logging.
                     80: \\ Uncommenting the next two lines produces a different logfile each day:
                     81: \\ logfile = "~/tmp/pari-%d.%m"
                     82: \\ log = 1
                     83:
                     84: \\ Output for postscript-producing gp commands.
                     85: \\ psfile = "~/tmp/pari.ps"
                     86:
                     87: \\*****************************    FORMAT :     ***************************
                     88: \\  Lines starting with '\\' and between '/*' '*/' pairs are comments
                     89: \\  Blank lines are ignored
                     90: \\  Line starting with #if KEYWORD is read iff KEYWORD is TRUE
                     91: \\  Currently recognized keywords:
                     92: \\    EMACS  are we running under emacs?
                     93: \\    READL  is readline available?
                     94: \\
                     95: \\  This file should be put in $HOME/.gprc or /etc/gprc and contain:
                     96: \\  * references to gp scripts that are to be run BEFORE the first gp prompt.
                     97: \\
                     98: \\    Syntax: read "filename"  (quotes are mandatory. ~ syntax allowed)
                     99: \\
                    100: \\  * variable definitions (so-called "environment variables" in the sequel)
                    101: \\
                    102: \\   Definitions are overruled by command line switches. For instance
                    103: \\     invoking gp -s 100 will set environment variable stacksize to 100 (not
                    104: \\     a very bright thing to do by the way), regardless of what is in .gprc
                    105: \\
                    106: \\    Syntax: variable name = value
                    107: \\
                    108: \\  Environment variables which are not set here assume default values in gp.
                    109: \\  Can be changed under GP using default(), or keyboard shortcuts (see ?\).