- 注册时间
- 2017-12-7
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 3243
- 在线时间
- 小时
|
发表于 2020-8-24 11:47:21
|
显示全部楼层
- neutron@Neutron:/me$ cat /etc/gprc
- \\ 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
- colors=boldfg
- \\ Limit output of commands to first 40 lines to avoid terminal
- \\ choking on thousands lines output.
- lines = 40
- \\ nbthreads=6\\may be a little bit slow
- \\ Save GP history between session.
- histfile = "/me/.gp_history"
- \\ Set maximal stack size. A safe value is half of the system memory.
- parisizemax = 34359738368
- parisize = 536870912
- prompt="%H:%M:%S> "
- primelimit=67108864\\268435456\\1073741824\\4294967296
- timer=1
- \\********************** 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 ?\).
复制代码
|
|