[script] run apt-get update

run apt-get update to avoid potential errors diem#19 has more context
tnasu · Jun 18, 2019 · e58a013 · e58a013
1 parent ce7834d
commit e58a013
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/dev_setup.sh b/scripts/dev_setup.sh
@@ -25,6 +25,7 @@ if [[ "$OSTYPE" == "linux-gnu" ]]; then
 		PACKAGE_MANAGER="yum"
 	elif which apt-get &>/dev/null; then
 		PACKAGE_MANAGER="apt-get"
+		sudo apt-get update
 	else
 		echo "Unable to find supported package manager (yum or apt-get). Abort"
 		exit 1