bash では basename や dirname を使うより ${0##*/} や ${0%/*} を使ったほうが速い？｜mattintosh note (跡地)「わたし、気になります！」的な話。 今やってる作業の途中で、install_name_tool を使ってライブラリのリンクパスを一括変換するのに以下のようなコマンドを書いたことがあった。 while read f do install_name_tool -id @executable_path/lib/$(basename $f) $f done < hoge.txt install_name_tool -id の場合はいいけど、install_name_tool -change の場合はライブラリが多いと2000行くらいになるのでかなり時間がかかる。install_name_tool が重いのかと思い、コマンドを外部ファイルに書き出して実行してみるとそれほど時間はかからない。ということは原因は basename の方っぽい。 んで、以下のようなスクリプトを書いてみた。${} 内の ##
