|
@@ -8,7 +8,6 @@
|
|
|
export ETC="$HOME/etc"
|
|
export ETC="$HOME/etc"
|
|
|
export ENVDIR="$HOME/env"
|
|
export ENVDIR="$HOME/env"
|
|
|
export SETENV="$ETC/setenv/sh"
|
|
export SETENV="$ETC/setenv/sh"
|
|
|
-test -r "$SETENV" && . "$SETENV" && setenv profile
|
|
|
|
|
|
|
|
|
|
reload-profile(){
|
|
reload-profile(){
|
|
|
. $PROFILE
|
|
. $PROFILE
|
|
@@ -217,4 +216,5 @@ manf() {
|
|
|
export GPG_TTY=$(tty)
|
|
export GPG_TTY=$(tty)
|
|
|
export SSH_TTY=$(tty)
|
|
export SSH_TTY=$(tty)
|
|
|
|
|
|
|
|
|
|
+test -r "$SETENV" && . "$SETENV" && setenv profile
|
|
|
|
|
|
