/etc/gprc is in pari-gp 2.5.0-2ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | \\ Enable colors.
\\ Should not be set under Emacs, since it use it's own highligth system
\\ For a system-wide config, clear background is preferable
#ifnot EMACS colors = lightbg
\\ dark background:
\\ #ifnot EMACS colors = darkbg
\\ Limit output of commands to first 40 lines to avoid terminal
\\ choking on thousands lines output.
lines = 40
\\
\\ Save GP history between session.
histfile = "~/.gp_history"
\\ Be sloppy with extraneous parens.
\\ strictmatch = 0
\\********************** FORMAT OF THIS FILE : ***************************
\\ Lines starting with '\\' and between '/*' '*/' pairs are comments
\\ Blank lines are ignored
\\ Line starting with #if KEYWORD is read iff KEYWORD is TRUE
\\ Currently recognized keywords:
\\ EMACS are we running under Emacs?
\\ READL is readline available?
\\
\\ This file should be put in $HOME/.gprc or /etc/gprc and contain:
\\ * references to gp scripts that are to be run BEFORE the first gp prompt.
\\
\\ Syntax: read "filename" (quotes are mandatory. ~ syntax allowed)
\\
\\ * variable definitions (so-called "environment variables" in the sequel)
\\
\\ Definitions are overruled by command line switches. For instance
\\ invoking gp -s 100 will set environment variable stacksize to 100 (not
\\ a very bright thing to do by the way), regardless of what is in .gprc
\\
\\ Syntax: variable name = value
\\
\\ Environment variables which are not set here assume default values in gp.
\\ Can be changed under GP using default(), or keyboard shortcuts (see ?\).
|