>>368
awkか。言うと思った。
しかしこの場合、シェル内部だけでやる方法あるんだよ。
外部コマンドは無駄。(言っとくけど、bashの機能じゃないよ)

あと、外部コマンドを使うとしても、awkよりbasenameの方が軽いし、
awk使うくらいならexprとかcutとか使った方がいい。それが常識。