https://blog.csdn.net/gulingfengze/article/details/70149092
用source /etc/profile，有些博客写的使用sudo gedit ~/.bashrc，但我自己使用source /etc/profile才成功了
source /etc/profile，有些博客写的使用sudo gedit ~/.bashrc，但我自己使用source /etc/profile才成功了
source /etc/profile
这个表示已经正确配置：
