From 3a492bffa5cc6cfe4df531aed523df146bdfb98f Mon Sep 17 00:00:00 2001
From: PhilWindle <philip.windle@gmail.com>
Date: Tue, 12 Sep 2023 16:44:46 +0000
Subject: [PATCH] WIP

---
 build-system/scripts/ensure_docker_repo | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 build-system/scripts/ensure_docker_repo

diff --git a/build-system/scripts/ensure_docker_repo b/build-system/scripts/ensure_docker_repo
new file mode 100755
index 00000000000..806d6debc60
--- /dev/null
+++ b/build-system/scripts/ensure_docker_repo
@@ -0,0 +1,16 @@
+#!/bin/bash
+set -eu
+
+# Add Docker's official GPG key:
+sudo apt-get update
+sudo apt-get install ca-certificates curl gnupg
+sudo install -m 0755 -d /etc/apt/keyrings
+curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /etc/apt/keyrings/docker.gpg
+sudo chmod a+r /etc/apt/keyrings/docker.gpg
+
+# Add the repository to Apt sources:
+echo \
+  "deb [arch="$(dpkg --print-architecture)" signed-by=/etc/apt/keyrings/docker.gpg] https://download.docker.com/linux/ubuntu \
+  "$(. /etc/os-release && echo "$VERSION_CODENAME")" stable" | \
+  sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
+sudo apt-get update
\ No newline at end of file