From 93f5e32272d0f5082fce05406f99d6487d1a50fc Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Sun, 22 Nov 2020 12:02:52 -0800
Subject: [PATCH] build/bin/sage-print-system-package-command (debian --yes):
 Use DEBIAN_FRONTEND=noninteractive

---
 build/bin/sage-print-system-package-command | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build/bin/sage-print-system-package-command b/build/bin/sage-print-system-package-command
index c1219e3e6da..9e16ed86433 100755
--- a/build/bin/sage-print-system-package-command
+++ b/build/bin/sage-print-system-package-command
@@ -49,6 +49,7 @@ if [ -z "$system" -o -z "$command" ]; then
 fi
 system_packages="$*"
 options=
+env=
 shopt -s extglob
 case $system:$command in
     homebrew*:setup-build-env)
@@ -73,8 +74,8 @@ case $system:$command in
         ;;
     @(debian*|ubuntu*):*)
         [ "$NO_INSTALL_RECOMMENDS" = yes ] && options="$options --no-install-recommends"
-        [ "$YES" = yes ] && options="$options --yes"
-        [ -n "$system_packages" ] && echo "${PROMPT}${SUDO}apt-get $command $options $system_packages"
+        [ "$YES" = yes ] && options="$options --yes" env="DEBIAN_FRONTEND=noninteractive "
+        [ -n "$system_packages" ] && echo "${PROMPT}${SUDO}${env}apt-get $command $options $system_packages"
         ;;
     @(fedora*|redhat*|centos*):install)
         [ "$YES" = yes ] && options="$options -y"