From a887708fb587378f54203526e5df211bbdd54008 Mon Sep 17 00:00:00 2001 From: kay27 Date: Fri, 4 Mar 2022 02:08:52 +0400 Subject: [PATCH] Add tools/convert_all_tga_to_png.bash --- tools/convert_all_tga_to_png.bash | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 tools/convert_all_tga_to_png.bash diff --git a/tools/convert_all_tga_to_png.bash b/tools/convert_all_tga_to_png.bash new file mode 100755 index 000000000..8d3032c12 --- /dev/null +++ b/tools/convert_all_tga_to_png.bash @@ -0,0 +1,10 @@ +#!/bin/bash + +for name in ./*.tga +do + convert "$name" "${name%.*}".png + +# Slow and useless: +# optipng -o7 -zm1-9 "${name%.*}".png + +done