From 4663f11368be604ec045a5fe6447e8dea6d4d297 Mon Sep 17 00:00:00 2001
From: Soroush <soroosh129@gmail.com>
Date: Fri, 14 Jun 2019 11:11:40 -0500
Subject: [PATCH] Added the new ROS repo key.
 https://discourse.ros.org/t/new-gpg-keys-deployed-for-packages-ros-org/9454

---
 installROS.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/installROS.sh b/installROS.sh
index a89e630..85dfa25 100755
--- a/installROS.sh
+++ b/installROS.sh
@@ -87,7 +87,8 @@ sudo apt-add-repository restricted
 # Setup sources.lst
 sudo sh -c 'echo "deb http://packages.ros.org/ros/ubuntu $(lsb_release -sc) main" > /etc/apt/sources.list.d/ros-latest.list'
 # Setup keys
-sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key 0xB01FA116
+#sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key 0xB01FA116
+sudo apt-key adv --keyserver 'hkp://keyserver.ubuntu.com:80' --recv-key C1CF6E31E6BADE8868B172B4F42ED6FBAB17C654
 # Installation
 tput setaf 2
 echo "Updating apt-get"