Tools

複数のGIFファイルを一括でPNGファイルに変換する

投稿日:2021年9月1日 更新日:

複数のGIFファイルを、一括して PNGファイルに変換するという内容です。

GUI ツールもあるでしょうが、ImageMagick のコマンドを使った方法を紹介します。

Ubuntu であれば、以下のコマンドで ImageMagick をインストールすることができます。WSL上のUbuntuでも同様です。

sudo apt install imagemagick

ImageMagick を導入すると、いくつかのコマンドが使えるようになりますが、その中の1つである「mogrify」というコマンドを使います。

mogrify は、複数ファイルに対してまとめて各種画像処理を行うことができるコマンドです。また、指定したファイルを上書きするのも特徴の1つです(今回のように、画像フォーマットを変換する場合は上書きしませんが)。

そして表題の件ですが、例えば、カレントディレクトリに複数の .gif ファイルが存在していて、これらを .png ファイルに変換したいのであれば、以下のコマンドを実行します。

mogrify -format png *.gif
  • *.gif」が操作対象のファイル名です。ワイルドカードを使って複数ファイルにマッチするようにしています。
  • -format png」は、PNG形式のファイルに変換するよう指示しています。

慣れれば、あっという間にできる操作です。

参考

もう少し汎用的な内容の記事を書きました。

ImageMagick

コマンドラインで画像ファイルの画像形式を変換する (ImageMagick)

2021.10.09

📂-Tools

執筆者:labo


comment

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

関連記事

Anki

Anki: 新しい復習間隔は 0% が良い

Ankiの設定項目「新しい復習間隔」についての持論です。

Git

Git でユーザー名とメールアドレスを設定する方法(全体用とプロジェクト用)

Git で、ユーザー名とメールアドレスを設定する方法です。(1) 全体の設定方法と、(2) プロジェクト毎の設定方法の2つを紹介します。 目次1. プロジェクトをまたいだ全体の設定(グローバル, gl …

Vim

Vim でHTMLタグの中身を置換するキー操作

Vim でHTMLタグの中身を置換するキー操作について説明します。

Anki

News in Levels を Anki デッキにする

News in Levels の記事を Anki デッキにしてみましたので紹介します。

Anki

Ankiのフィールドに表を記述する

Ankiのフィールドに表を記述する。