土曜日, 4月 4th, 2009
timeは引数となるコマンドの実行にかかった所有時間を計測し、実行終了後に出力してくれる。
引数となるコマンドラインにはパイプやリダイレクトは使用できない。timeにはbash組み込みのものと/usr/bin/配下の2種類が存在する。基本的機能に違いはなく、出力の表示が違うくらいのようだ。
timeは引数となるコマンドの実行にかかった所有時間を計測し、実行終了後に出力してくれる。
引数となるコマンドラインにはパイプやリダイレクトは使用できない。timeにはbash組み込みのものと/usr/bin/配下の2種類が存在する。基本的機能に違いはなく、出力の表示が違うくらいのようだ。
フォーマット変換を一括で行う
画像ファイルのフォーマットを変換したい時が往々にしてある。
そんな時ImageMagickはやはり便利。
ImageMagickでファイル形式を変換するにはconvertコマンドを使用する [...]
大量画像を一括でサイズ変換する
ブログを始めてから、デジカメでよく写真を撮るようになったのだが、そのままだと
サイズがかなり大きいので、photoshopで画像加工する際にサイズを小さくしていた。
しかし数が多いので、 [...]