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