Merge pull request #6 from dfki-ric/feat/keyserver

Use keyserver instead of url for ROS repository
dfki-ric · Nov 5, 2024 · 69b8c36 · 69b8c36
2 parents f09698b + 5fe0ce1
commit 69b8c36
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/ros-2.osrepos b/ros-2.osrepos
@@ -1,13 +1,13 @@
 - ubuntu:
     - focal:
         - type: key
-          url: https://raw.githubusercontent.com/ros/rosdistro/master/ros.key
-          id: ""
+          keyserver: hkp://keyserver.ubuntu.com:80
+          id: C1CF6E31E6BADE8868B172B4F42ED6FBAB17C654
         - type: repo
           repo: deb http://packages.ros.org/ros2/ubuntu focal main
     - jammy:
         - type: key
-          url: https://raw.githubusercontent.com/ros/rosdistro/master/ros.key
-          id: ""
+          keyserver: hkp://keyserver.ubuntu.com:80
+          id: C1CF6E31E6BADE8868B172B4F42ED6FBAB17C654
         - type: repo
-          repo: deb http://packages.ros.org/ros2/ubuntu jammy main
+          repo: deb http://packages.ros.org/ros2/ubuntu jammy main