zsh - PATHから特定のものを取り除く

cshじゃないんだからPATHは大量に持ってもネをあげないのだ。 普段 /usr/local/bin/[A-Z]*(-/) をPATHに登録している。 アプリケーションをいっこのディレクトリに閉じてインストールすると 複数バージョン両立や削除などが楽なのだ。Sunの配付するソフトはそうなってる。 世のパッケージシステムはprefixが全部いっしょ、これじゃ整合性保つの困難。

ま、それは置いといて、gtk1を持ちつつgtk2のconfigureをする、なんてとき にgtk1の gtk-config がPATHに残ってるとマズイ。一時的にPATHから取り除こう。 ZSHの変数展開の :# を使うよろし。

「/usr/local/bin/Graphics を取り除きたいじょ」てなときは

path=(${path:#*Graphics})

でおしまい。

叱咤激励感想ツッコミはゲストブックへ

yuuji@