timeでコマンド実行時間を計る
timeは引数となるコマンドの実行にかかった所有時間を計測し、実行終了後に出力してくれる。
引数となるコマンドラインにはパイプやリダイレクトは使用できない。timeにはbash組み込みのものと/usr/bin/配下の2種類が存在する。基本的機能に違いはなく、出力の表示が違うくらいのようだ。
timeは引数となるコマンドの実行にかかった所有時間を計測し、実行終了後に出力してくれる。
引数となるコマンドラインにはパイプやリダイレクトは使用できない。timeにはbash組み込みのものと/usr/bin/配下の2種類が存在する。基本的機能に違いはなく、出力の表示が違うくらいのようだ。
画像ファイルのフォーマットを変換したい時が往々にしてある。そんな時ImageMagickはやはり便利。ImageMagickでファイル形式を変換するにはconvertコマンドを使用する。
ImageMagickはUNIX系OSで使われている、オープンソースの画像加工ツール。(Windowsにも移植版あり)コマンドラインで画像加工するってこと自体新鮮だし、大量に処理をしたい時なんかスゴイ威力を発揮する。