pmartycz

#!/bin/sh -eu

# Downloads, verifies and unpacks Ubuntu mini.iso fixing lack of UEFI support
# See https://bugs.launchpad.net/ubuntu/+source/debian-installer/+bug/1429030
# Thanks to https://www.nemotos.net/?p=2057

require() {
  hash "$@" || die "Some of the required commands are missing"
}