|
发表于 2007-11-29 20:50:00
|
显示全部楼层
Post by huala;1023895
如果手动执行csh或者sh命令切换了shell,$SHELL变量依然没有更新呢?
shelldecide()
{
shpid=$$
shcmd=`ps -p ${shpid} -o "comm"|tail -1`
if [ "${shcmd}" != "ksh" ]
then
echo "SHELL is ${shcmd},is not ksh,Can't run!!!"
exit
fi
} |
|