diff options
Diffstat (limited to 'profile/gauche.sh')
-rw-r--r-- | profile/gauche.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/profile/gauche.sh b/profile/gauche.sh new file mode 100644 index 0000000..ca5d35b --- /dev/null +++ b/profile/gauche.sh | |||
@@ -0,0 +1,26 @@ | |||
1 | # gauche scheme environment variables | ||
2 | # see also ~/.gaucherc | ||
3 | |||
4 | # Warn if ‘#<undef>’ is used in the test expression of branch. In boolean | ||
5 | # context, ‘#<undef>’ counts true. It is also often the case that a procedure | ||
6 | # returns ‘#<undef>’ when the return value doesn’t matter, and you shouldn’t | ||
7 | # rely on the value that is supposed not to matter–the procedure may change the | ||
8 | # return value in future (which should be ok, since the value shouldn’t have | ||
9 | # mattered), which can cause unintentional and hard-to-track bugs. *Note | ||
10 | # Undefined values::, for the details. We strongly recommend users to turn on | ||
11 | # this warning. In future, we plan to make this default. | ||
12 | GAUCHE_CHECK_UNDEFINED_TEST=1 | ||
13 | export GAUCHE_CHECK_UNDEFINED_TEST | ||
14 | |||
15 | # This is used by ‘gauche.interactive’ module to enable line-editor on REPL | ||
16 | # prompt. *Note Interactive development::, for the details. | ||
17 | GAUCHE_READ_EDIT=1 | ||
18 | export GAUCHE_READ_EDIT | ||
19 | |||
20 | # If Gauche is invoked with ‘GAUCHE_READ_EDIT’ enabled (see below), the REPL | ||
21 | # history is kept in ‘~/.gosh_history’ by default. This environment variable | ||
22 | # overrides the history file. To prohibit saving history, set an empty string | ||
23 | # to this variable. If the process is suid/sgid-ed, history won’t be saved. | ||
24 | GAUCHE_HISTORY_FILE="${XDG_DATA_HOME:-$LOCAL_PREFIX/share}/gauche/gosh_history" | ||
25 | mkdir -p "${GAUCHE_HISTORY_FILE%/*}" | ||
26 | export GAUCHE_HISTORY_FILE | ||