From a66f0caff9560666e08c27737226b6a5f34a0556 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 12 May 2023 13:06:10 +0200
Subject: [PATCH] robotpkg docker

---
 docker/robotpkg/Dockerfile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 docker/robotpkg/Dockerfile

diff --git a/docker/robotpkg/Dockerfile b/docker/robotpkg/Dockerfile
new file mode 100644
index 0000000..fec1106
--- /dev/null
+++ b/docker/robotpkg/Dockerfile
@@ -0,0 +1,16 @@
+FROM ubuntu:jammy
+
+# Setup Robotpkg apt binary repository
+ADD http://robotpkg.openrobots.org/packages/debian/robotpkg.key /
+RUN --mount=type=cache,sharing=locked,target=/var/cache/apt \
+    --mount=type=cache,sharing=locked,target=/var/lib/apt \
+    apt-get update -y && DEBIAN_FRONTEND=noninteractive apt-get install -qqy --no-install-recommends \
+    gnupg2 \
+ && gpg --dearmor /robotpkg.key \
+ && mv /robotpkg.key.gpg /usr/share/keyrings/robotpkg.gpg \
+ && echo "deb [arch=amd64 signed-by=/usr/share/keyrings/robotpkg.gpg] \
+          http://robotpkg.openrobots.org/packages/debian/pub jammy robotpkg" \
+ >> /etc/apt/sources.list.d/robotpkg.list \
+ && echo "deb [arch=amd64 signed-by=/usr/share/keyrings/robotpkg.gpg] \
+          http://robotpkg.openrobots.org/wip/packages/debian/pub jammy robotpkg" \
+ >> /etc/apt/sources.list.d/robotpkg.list
-- 
GitLab