首先,先来区分几个概念:
-
/etc/profile
不建议随意修改此文件
全局(公有)配置,系统所有用户登录时都会读取该文件。
修改此文件,系统所有用户都会受影响。 -
/etc/bashrc
系统级环境变量
全局(公有)配置,系统所有用户在执行 bash shell 时都会读取此文件。
修改此文件,系统所有用户的 bash shell 配置都会受影响。 -
~/.bash_profile
用户级环境变量
局部(私有)配置,系统当前用户在执行 bash shell 时会读取此文件。
修改此文件,只有系统当前用户的 bash shell 配置会受到影响。每个用户都可使用该文件输入专用于自己使用的shell信息, 当用户登录时, 该文件仅仅执行一次!
但是有时在 .bash_profile
文件中的环境变量并没有起到作用, 这时可以查看使用的Mac OS X是什么样的Shell。
➜ ~ echo $SHELL
/bin/zsh
当mac上安装了zsh后,修改环境变量就需要在 ~/.zshrc
中修改,比如:
export http_prox=http://10.199.75.12:8080
export https_proxy=http://10.199.75.12:8080
如果想要修改立即生效,需要执行
source ~/.zshrc