« テレビ番組等感想 その 193 | トップページ | テレビ番組等感想 その 194 »

2009年5月 5日 (火)

Yash 2 その 105

Zsh って無駄にオプション多くね?

Yash に zsh の auto_pushd とか pushd_ignore_dups とか pushd_to_home とかのオプションに相当する機能を付けられないか、と検討。

Pushd_ignore_dups と pushd_to_home に相当する機能は、pushd コマンドにオプションを追加すればいいので、zsh のようにシェルオプションにする必要は実はない。setopt pushd_ignore_dups pushd_to_home の代わりに alias pushd='pushd --ignore-dups --default-home' で十分。Auto_pushd も alias cd=pushd で実現可能。

といいたいところなのだが、これだと問題があって、autocd オプションが有効な時に直接コマンド名としてディレクトリを指定した場合にはエイリアス置換が働かないので、うまくゆかない。

現在の autocd オプションを廃止して、ディレクトリをコマンドとして実行した場合に起動するコマンドを指定する汎用的な仕組みを代わりに用意するのがよかろうか。ディレクトリを実行すると DIRCOMMAND 変数で指定したコマンドを実行する、とか。DIRCOMMAND='pushd --ignore-dups --default-home'

|

« テレビ番組等感想 その 193 | トップページ | テレビ番組等感想 その 194 »

コメント

コメントを書く



(ウェブ上には掲載しません)




トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/169172/44905686

この記事へのトラックバック一覧です: Yash 2 その 105:

» Yash 2 その 114 [まじかんと雑記]
Autocd の代わりの機能をどうするかという話の続き。 [続きを読む]

受信: 2009年6月27日 (土) 15時44分

» Yash 2 その 118 [まじかんと雑記]
Cd コマンドなどで作業ディレクトリが変わった後に $YASH_AFTER_CD 変数の内容が実行されるようにした。 [続きを読む]

受信: 2009年7月 7日 (火) 15時36分

» Yash 2 その 124 [まじかんと雑記]
pushd にオプションは追加せず [続きを読む]

受信: 2009年7月30日 (木) 15時47分

» Yash 2 その 145: pushd コマンドのオプション [まじかんと雑記]
その 105 とその 124 の続き。その 124 では pushd コマンドに新たなオプションを付けないと言ったが、やはり付けた方がいいような気がしてきた。 [続きを読む]

受信: 2009年11月11日 (水) 11時42分

« テレビ番組等感想 その 193 | トップページ | テレビ番組等感想 その 194 »