Skip to main content

ログ取得ツール (移転先予定地)

メモ: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

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