導入したてのPCではありがちなポカで、今回まさにやらかしたのでメモ。bashを利用している場合、その環境変数は"bash_profile"か".bashrc"に保存されます。 より深いものに/etc/profileなんてのもあります。 GNU総本山によれば、 /etc/profile bash_profile …