我注意到我~/.profile
底部的以下行是在我安装Ubuntu 11.04时生成的:
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
我在那里看到逻辑,但是不应该导出PATH变量吗?
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
export PATH="$HOME/bin:$PATH"
fi
如果没有,那么我不明白一旦到达.profile
文件的底部,PATH的值是如何不会丢失的,除非有什么东西用. ~/.profile
来源这个文件,我没有看到(至少明确地)在系统上的任何其他shell脚本中发生。
答案 0 :(得分:3)
如果已导出变量,则无需再次导出。是的,当你启动一个登录shell时,shell确实(道德等同于)源.profile
(除非你还有一个.bash_profile
;但那时候通常应该依次来源.profile
)