diff options
author | David Manouchehri <david.manouchehri@riseup.net> | 2021-09-23 17:03:18 -0400 |
---|---|---|
committer | Darren Tucker <dtucker@dtucker.net> | 2021-09-24 07:52:04 +1000 |
commit | f6a660e5bf28a01962af87568e118a2d2e79eaa0 (patch) | |
tree | 281ee1678bb69da45303fa0e358a4a996ff52eb8 /.github | |
parent | 7ed1a3117c09f8c3f1add35aad77d3ebe1b85b4d (diff) |
Don't prompt for yes/no questions.
Diffstat (limited to '.github')
-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 |