私はたくさんの画像を持っています.16 4ビット形式で必要な16色8ビットPNG形式の多くの画像を手作業で行う必要があります.それらはすべて同じパレットを持っています.
使用するのに最適なライブラリをGoogleで探していますが、この特定の問題についてはあまり見つけられていないため、よりターゲットを絞ったソリューションを求めてここに来ています.
ここで見つけた他の回答に基づいて PIL を使用しようとしていますが、運がありません。
img = Image.open('DownArrow_focused.png')
img = img.point(lambda i: i * 16, "L")
img.save('DownArrow_focused.png', 'PNG')
しかし、これは私が望むものではなく、グレースケールの画像を提供します。
PIL は動作しません。PyPNG を試してみてください。GIMPはこれを行いますが、バッチ処理するために必要なものが何百もあります。そして、変換するこれらのバッチを取得するため、1 回限りのことではありません。
Java ベースのソリューションも同様に受け入れられます。Linux/OSX マシンのコマンド ラインから実行できるほとんどすべてのものが受け入れられます。