08/02/17 14:31:39 6iIHaKsu
pathについて質問です。
echo $PATHやると、
homeディレクトリにある.bash_profileに書かれているpathとは別なpathが
表示されます。
例：
.bash_profileのpath
path=/aaa/aaa:/bbb/bbb:/ccc/ccc
echo $pathの結果
path=/ddd/ddd:/eee/eee:/aaa/aaa:/bbb/bbb:/ccc/ccc
上の例でいうｒ、/ddd/dddと/eee/eeeはどこに設定があるのでしょうか？
/etc/profileに書かれているというような参考サイトもあったのですが、
そこにはそのような記載はありませんでした。