diff options
author | Léa Gris <lea.gris@noiraude.net> | 2021-04-27 23:27:02 +0200 |
---|---|---|
committer | Léa Gris <lea.gris@noiraude.net> | 2021-04-27 23:27:02 +0200 |
commit | 1844e1c86d9673a541d74985d3cf07ec82ee8e03 (patch) | |
tree | beabe7c495ed0c2868d80f42552aaf0dcc519755 /src/main/java/gregtech/api/interfaces/internal | |
parent | 4c8cf9986d75f91b13281de1d9d476d6dd392d50 (diff) | |
download | GT5-Unofficial-1844e1c86d9673a541d74985d3cf07ec82ee8e03.tar.gz GT5-Unofficial-1844e1c86d9673a541d74985d3cf07ec82ee8e03.tar.bz2 GT5-Unofficial-1844e1c86d9673a541d74985d3cf07ec82ee8e03.zip |
fix(pngfiles): .png files not in png format
Convert to png all .png files that were not in image/png format using Linux shell
```sh
git ls-files -z |
while IFS= read -rd '' f; do
mime="$(file --brief --mime "$f")";
if [ -z "${f%%*.png}" ] && [ -n "${mime##image/png;*}" ]; then
convert "$f" /tmp/a.png;
cat /tmp/a.png >"$f";
fi;
done;
rm -f -- /tmp/a.png
```
Diffstat (limited to 'src/main/java/gregtech/api/interfaces/internal')
0 files changed, 0 insertions, 0 deletions