On 2011-Feb-22 18:30:28 -0600, Jason Grout <jason-s...@creativetrax.com> wrote:
> # We must start a new shell with no .profile or .bashrc files
> # processed, so that we know our path is correct
> PS1="SAGE_ROOT=${SAGE_ROOT}\n(sage subshell) \h:\W \u\$ "
> export PS1
> case $SHELL_NAME in
...
> sh)
> SHELL_OPTS=" --norc"
> ;;Off-topic but note that this assumes that /bin/sh is bash - which is not a good general assumption. -- Peter Jeremy
pgpahnCGfdTlU.pgp
Description: PGP signature
