diff --git a/tools/make_apt.sh b/tools/make_apt.sh index 58eaa189f..863b1c2d7 100755 --- a/tools/make_apt.sh +++ b/tools/make_apt.sh @@ -30,6 +30,7 @@ readonly root shift; shift; shift # For "$@" below. # Ensure that we have the correct packages installed. +export DEBIAN_FRONTEND=noninteractive function apt_install() { while true; do sudo apt-get update &&