>>88
/usr/local/binだとおもう。
たしかに
それを書くと.bash_profileにパスを追加する必要もないですね

その方がいいですね。そういうのを知りたかったんです。

>>89
マルチといわないでくれ。
たしかに、texshopの設定に書かずに直接シェルスクリプトを動かすというのが
バグを取る方法ですね。（まだ、解決してないけど）
なんちゃらかんちゃら.shの拡張子のファイルは、bashでもなんでもokということです
https://stackoverflow.com/questions/5725296/difference-between-sh-and-bash