2013-07-05から1日間の記事一覧

curlコマンド

curlコマンドでダウンロードしたHTMLをそのままgzip圧縮する。 curl http://www.yahoo.co.jp | gzip > yahoo.gz 解凍する場合はgunzipコマンドを使用する。-cオプションを使うと標準出力する。 gunzip -c yahoo.gz

xargsの-Pオプション

xargsで-Pオプションを使うと、プロセスが複数立ち上がると言うことで試してみる。コマンド実行前後をdateコマンドで挟んで、1〜10までの数を引数で渡してsleepする。 /Users/junya% date && echo 1 2 3 4 5 6 7 8 9 10 | xargs -n 1 -P 20 sleep && date 20…