chiark - git - mdw - dvddb/blob - track-boxing-progress

   1 #! /bin/sh -e
   2
   3 set -- $(psql -At -F" " -hroadstar -c '
   4   SELECT * FROM
   5         (SELECT COUNT(*) FROM dvd_disc) AS ndisc,
   6         (SELECT COUNT(*) FROM dvd_disc WHERE box IS NOT NULL) AS nboxed,
   7         (SELECT COUNT(*) FROM
   8                 (SELECT DISTINCT box FROM dvd_disc
   9                         WHERE box IS NOT NULL) AS q)
  10                 AS nbox;
  11 '); ndisc=$1 nboxed=$2 nbox=$3
  12
  13 echo "DONE $nboxed/$ndisc = $(( (100*$nboxed + $ndisc/2)/$ndisc ))%"
  14 echo "BOXES $nbox + $(( (($ndisc - $nboxed)*$nbox + $nboxed - 1)/$nboxed ))"