数千枚のJPEG画像のリサイズをする 縦横ピクセル数、画像サイズのバラバラなJPEG写真を、小さなピクセル数に一括変換する。 方針としては、 １、ImageMagickで縦横ピクセル数を取得 ２、ピクセル数によってconvertでのリサイズパーセントを変更する ことにす…

デスクトップを動画で録画したい インストールがラクそうだったIstanbulを入れる。 使い方は単純で分かりやすい。Istanbulでキャプチャした画面はOgg Theora Video形式で保存される。 アイコンをクリックすると、デスクトップの下オビにアイコンが表れる。 …