envmng/etc/envmng_rc

17 lines
307 B
Plaintext
Raw Normal View History

2009-01-12 18:59:03 +01:00
# $RCSfile: envmng_rc,v $
# $Revision: 1.1 $
# $Name: $
# $Date: 2009/01/12 17:59:03 $
# $Author: agibert $
if [ "$(echo $- | /usr/bin/grep i)" != "" ]
then
if [ "$NEW_SHELL" != "" ]
then
export SHELL=$NEW_SHELL
. /usr/local/bin/envmng --setid $ENVMNG_ID
else
. /usr/local/bin/envmng --rc
fi
fi