diff options
Diffstat (limited to 'academic/sage/profile.d/sage.sh')
| -rw-r--r-- | academic/sage/profile.d/sage.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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" |