2007-11-05から1日間の記事一覧
zshのglob機能(ワイルドカード)はとてつもなく強力だ。zshユーザならほぼ間違いなくsetopt extended_globの設定を入れていると思う。extended_globしておかないと強力なglobの恩恵を受けられないからだ。たとえば**/*.hは*.hをカレントディレクトリとその…
zshのglob機能(ワイルドカード)はとてつもなく強力だ。zshユーザならほぼ間違いなくsetopt extended_globの設定を入れていると思う。extended_globしておかないと強力なglobの恩恵を受けられないからだ。たとえば**/*.hは*.hをカレントディレクトリとその…