環境変数$PATH に、同じものを何度も登録してしまったり、いらなくなったものが残って
いたりすることがあり、困っていたところ下記記事を発見。
試してみたところ、無事、いらないpathを削除できたので、記録として残す。
http://qiita.com/ironsand/items/10e28d7589298090ec23
sudo nano ~/.bashrc
path_append () { path_remove $1; export PATH=”$PATH:$1″; }
path_prepend () { path_remove $1; export PATH=”$1:$PATH”; }
path_remove () { export PATH=echo -n $PATH | awk -v RS=: -v ORS=: ‘$0 != “‘$1′” ‘ | sed ‘s/:$//’
; }
$ . ~/.bashrc