galgen.zsh

   1 #!/usr/bin/env zsh
   2 # Copyright (C) 2022-2023 Sergey Matveev <stargrave@stargrave.org>
   3
   4 pagesize=${PAGESIZE:-100}
   5
   6 set -e
   7 setopt EXTENDED_GLOB
   8
   9 djxl2ppm() {
  10     djxl $1 $1.ppm
  11     [[ -r ${1}-ec0.ppm ]] || return 0
  12     mv ${1}-ec0.ppm $1.ppm
  13     rm ${1}-ec1.pgm
  14 }
  15
  16 imgs=((*.jxl|*.webp~*.preview.webp)(Om))
  17 for (( i=1 ; i <= ${#imgs} ; i++ )) {
  18     local img=${imgs[$i]}
  19     echo $i $img
  20     local dst=$i.img.html
  21     cat > $dst <<EOF
  22 <!DOCTYPE html>
  23 <html><head><title>Image ${i}/${#imgs}: $img</title></head><body>
  24 EOF
  25     [[ $i -eq 1 ]] ||
  26         echo "<a href=\"$(( $i - 1 )).img.html\">&lt;&lt;&lt;</a>" >> $dst
  27     [[ $i -eq ${#imgs} ]] ||
  28         echo "<a href=\"$(( $i + 1 )).img.html\">&gt;&gt;&gt;</a>" >> $dst
  29     echo "<hr/><img alt=\"$img\" src=\"$img\"/>" >> $dst
  30     [[ -r ${img}.txt ]] && {
  31         echo "<hr/><pre>" >> $dst
  32         cat ${img}.txt >> $dst
  33         echo "</pre>" >> $dst
  34     }
  35     echo "<hr/>" >> $dst
  36     if [[ $img:e = jxl ]] ; then
  37         echo "<pre>" >> $dst
  38         jxlinfo $img > $img.info
  39         cat $img.info >> $dst
  40         echo "</pre>" >> $dst
  41         echo "Alternative formats:" >> $dst
  42         if grep -q "JPEG bitstream reconstruction" $img.info ; then
  43             [[ -r $img.jpg ]] || {
  44                 djxl $img $img.jpg
  45                 touch -r $img $img.jpg
  46             }
  47             echo "<a href=\"$img.jpg\">JPEG</a>" >> $dst
  48         else
  49             [[ -r $img.png ]] || {
  50                 djxl2ppm $img
  51                 pamtopng < $img.ppm > $img.png
  52                 rm $img.ppm
  53                 pngcrush -rem alla -rem allb -z 2 $img.png $img.png.png
  54                 mv $img.png.png $img.png
  55                 advpng -z -4 $img.png
  56                 touch -r $img $img.png
  57             }
  58             echo "<a href=\"$img.png\">PNG</a>" >> $dst
  59         fi
  60         rm $img.info
  61         [[ -r $img.preview.webp ]] || djxl2ppm $img
  62     else
  63         echo "<pre>" >> $dst
  64         webpinfo $img >> $dst
  65         echo "</pre>" >> $dst
  66         [[ -r $img.preview.webp ]] || dwebp $img -ppm -o $img.ppm
  67     fi
  68     echo "<hr/><pre>" >> $dst
  69     exiftool -a -u -g1 $img >> $dst
  70     echo "</pre>" >> $dst
  71     [[ -r $img.ppm ]] && {
  72         pnmscale -w 100 < $img.ppm > $img.ppm.ppm
  73         mv $img.ppm.ppm $img.ppm
  74         cwebp -pass 10 -alpha_filter best -m 6 -mt -o $img.preview.webp $img.ppm
  75         rm $img.ppm
  76         touch -r $img $img.preview.webp
  77     }
  78     echo "</body></html>" >> $dst
  79     touch -r $img $dst
  80 }
  81
  82 pages=$(( ${#imgs} / $pagesize ))
  83 [[ $(( $pages * $pagesize )) -lt ${#imgs} ]] && pages=$(( $pages + 1 ))
  84 for (( p=1 ; p <= $pages ; p++ )) {
  85     local dst=$p.page.html
  86     cat > $dst <<EOF
  87 <!DOCTYPE html>
  88 <html><head><title>Page ${p}/$pages</title></head><body>
  89 EOF
  90     [[ $p -eq 1 ]] && [[ -r .txt ]] && {
  91         echo "<pre>" >> $dst
  92         cat .txt >> $dst
  93         echo "</pre>" >> $dst
  94     }
  95     [[ $p -eq 1 ]] ||
  96         echo "<a href=\"$(( $p - 1 )).page.html\">&lt;&lt;&lt;</a>" >> $dst
  97     [[ $p -eq $pages ]] ||
  98         echo "<a href=\"$(( $p + 1 )).page.html\">&gt;&gt;&gt;</a>" >> $dst
  99     echo "| <a href=\"1.page.html\">home</a>" >> $dst
 100     echo "| <a href=\"${pages}.page.html\">end</a>" >> $dst
 101     echo "<hr/>" >> $dst
 102     for (( i=1 ; i <= $pagesize ; i++ )) {
 103         img=$(( ( $p - 1 ) * $pagesize + $i ))
 104         [[ $img -le ${#imgs} ]] || break
 105         echo "<a href=\"${img}.img.html\">" >> $dst
 106         alt="preview ${img}"
 107         title=""
 108         [[ -r ${imgs[$img]}.txt ]] && {
 109             alt=`cat ${imgs[$img]}.txt`
 110             title="title=\"$alt\""
 111         }
 112         echo "<img alt=\"$alt\" $title src=\"${imgs[$img]}.preview.webp\"/></a>" >> $dst
 113     }
 114     echo "</body></html>" >> $dst
 115     echo page $p
 116 }