メモ:repeatの優先度

/bin/zshのrepeatの優先度は低く、

zsh# repeat 10 ls | tee /tmp/outfile

では/tmp/outfileには1つのlsの出力しか保存されない。そんなバカな、などと言ってはいけない。10個保存させるためには、

zsh# (repeat 10 ls) | tee /tmp/outfile10

のようにする。

(追記) 2004-01-22 14:09

他にも、

zsh# repeat 10 do ls ; done | tee /tmp/outfile10
zsh# repeat 10 ls | tee -a /tmp/outfile10

がある。後者はある種の反則かも。

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です