Annotation of OpenXM_contrib/pari/misc/gprc.dft, Revision 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 ?\).
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>