install-debfiles

   1 #! /bin/sh
   2
   3 set -e
   4
   5 file=$(readlink -e "$1")
   6
   7 mkdir -p debfiles
   8 cd debfiles || exit 1
   9 for uri in $(../list "$file"); do printf '%s\n' "$uri"; done | xargs -P 2 -I % wget -c '%'
  10 sudo apt install ./*.deb