diff options
Diffstat (limited to 'academic/sage/profile.d')
| -rw-r--r-- | academic/sage/profile.d/sage.csh | 5 | ||||
| -rw-r--r-- | academic/sage/profile.d/sage.sh | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/academic/sage/profile.d/sage.csh b/academic/sage/profile.d/sage.csh new file mode 100644 index 0000000000..ea47f7cbd5 --- /dev/null +++ b/academic/sage/profile.d/sage.csh @@ -0,0 +1,5 @@ +#!/bin/csh +# Add SAGE_ROOT path and MANPATH for Sage: +setenv SAGE_ROOT SAGEROOT +set path = ( $path ${SAGE_ROOT} ) +setenv MANPATH ${MANPATH}:${SAGE_ROOT}/local/man:${SAGE_ROOT}/local/share/man diff --git a/academic/sage/profile.d/sage.sh b/academic/sage/profile.d/sage.sh new file mode 100644 index 0000000000..4d4de1552f --- /dev/null +++ b/academic/sage/profile.d/sage.sh @@ -0,0 +1,5 @@ +#!/bin/sh +# Add SAGE_ROOT PATH and MANPATH for Sage: +SAGE_ROOT=SAGEROOT +PATH="$PATH:${SAGE_ROOT}" +MANPATH="$MANPATH:${SAGE_ROOT}/local/man:${SAGE_ROOT}/local/share/man" |