diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index db958d4c91..96a262b2db 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -186,7 +186,7 @@ if [[ $INSTALL_SIM == "true" ]]; then sudo sh -c 'echo "deb http://packages.osrfoundation.org/gazebo/ubuntu-stable `lsb_release -cs` main" > /etc/apt/sources.list.d/gazebo-stable.list' wget http://packages.osrfoundation.org/gazebo.key -O - | sudo apt-key add - sudo apt-get update -yy --quiet - sudo apt-get -yy --quiet --no-install-recommends install \ + sudo DEBIAN_FRONTEND=noninteractive apt-get -yy --quiet --no-install-recommends install \ gazebo9 \ gstreamer1.0-plugins-bad \ gstreamer1.0-plugins-base \