#!/usr/bin/env zsh
-# Copyright (C) 2022 Sergey Matveev <stargrave@stargrave.org>
+# Copyright (C) 2022-2023 Sergey Matveev <stargrave@stargrave.org>
+
+pagesize=${PAGESIZE:-100}
set -e
setopt EXTENDED_GLOB
-pagesize=100
+djxl2ppm() {
+ djxl $1 $1.ppm
+ [[ -r ${1}-ec0.ppm ]] || return 0
+ mv ${1}-ec0.ppm $1.ppm
+ rm ${1}-ec1.pgm
+}
imgs=((*.jxl|*.webp~*.preview.webp)(Om))
for (( i=1 ; i <= ${#imgs} ; i++ )) {
echo "<a href=\"$img.jpg\">JPEG</a>" >> $dst
else
[[ -r $img.png ]] || {
- djxl $img $img.ppm
+ djxl2ppm $img
pamtopng < $img.ppm > $img.png
rm $img.ppm
pngcrush -rem alla -rem allb -z 2 $img.png $img.png.png
echo "<a href=\"$img.png\">PNG</a>" >> $dst
fi
rm $img.info
- [[ -r $img.preview.webp ]] || djxl $img $img.ppm
+ [[ -r $img.preview.webp ]] || djxl2ppm $img
else
echo "<pre>" >> $dst
webpinfo $img >> $dst