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})

でおしまい。


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

Generated with mkdiary.rb
yuuji@example.org
Fingerprint16 = FF F9 FF CC E0 FE 5C F7 19 97 28 24 EC 5D 39 BA
HIROSE Yuuji - ASTROLOGY / BIKE / EPO / GUEST BOOK / YaTeX [Tweet]