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 ?\).
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>