From 887486d4fa97eefea1a3b68a757a9ee5e9777407 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomasz=20Doma=C5=84ski?= Date: Mon, 19 Oct 2020 23:19:18 +0200 Subject: [PATCH] Tools/setup: Add apt-get update after adding gazebo list --- Tools/setup/ubuntu.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index 580f864167..dadeb33f98 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -198,6 +198,8 @@ if [[ $INSTALL_SIM == "true" ]]; then # Gazebo 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 - + # Update list, since new gazebo-stable.list has been added + sudo apt-get update -y --quiet sudo DEBIAN_FRONTEND=noninteractive apt-get -y --quiet --no-install-recommends install \ dmidecode \ gazebo$gazebo_version \