diff options
-rwxr-xr-x | .github/setup_ci.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index c56dfc46..107c049c 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -11,6 +11,7 @@ TARGETS=$@ PACKAGES="" INSTALL_FIDO_PPA="no" +export DEBIAN_FRONTEND=noninteractive #echo "Setting up for '$TARGETS'" @@ -79,8 +80,8 @@ done if [ "yes" = "$INSTALL_FIDO_PPA" ]; then sudo apt update -qq - sudo apt install software-properties-common - sudo apt-add-repository ppa:yubico/stable + sudo apt install -qy software-properties-common + sudo apt-add-repository -y ppa:yubico/stable fi if [ "x" != "x$PACKAGES" ]; then |