From 74559943be07d33202352ca9b83910089d472b08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Wed, 7 Dec 2022 11:25:55 +0100 Subject: [PATCH] Debian: use the new way to handle repo keys --- Projects/Reproducible_builds | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds index d260758..e872c31 100644 --- a/Projects/Reproducible_builds +++ b/Projects/Reproducible_builds @@ -24,8 +24,8 @@ To run a MirageOS unikernel on your laptop or computer with virtualization exten For Debian and Ubuntu systems, we provide package repositories. Browse the [dists](https://apt.robur.coop/dists) folder for one matching your distribution, and add it to `/etc/apt/sources.list`: ``` -$ wget -q -O /etc/apt/trusted.gpg.d/apt.robur.coop.gpg https://apt.robur.coop/gpg.pub -$ echo "deb https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine +$ curl -Ss https://apt.robur.coop/gpg.pub | gpg --dearmor > /usr/share/keyrings/apt.robur.coop.gpg +$ echo "deb [signed-by=/usr/share/keyrings/apt.robur.coop.gpg] https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine $ apt update $ apt install solo5 albatross ```