From 499633feb42cbe0e3923e01f322fadf847cca77c Mon Sep 17 00:00:00 2001 From: Jean-Francois GUILLAUME Date: Tue, 10 May 2022 08:38:10 +0000 Subject: [PATCH] Update README.md --- README.md | 30 ++++++++++++++++++++++++++++-- 1 file changed, 28 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5f8a7ae..54c6a6b 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,9 @@ How to use --- To use the guix-glicid channel, add these lines to ~/.config/guix/channels.scm or /etc/guix/channels.scm : -For stable release : +
+ For stable release : + ``` (channel (name 'glicid) @@ -20,10 +22,34 @@ For stable release : (branch "main")) ``` -For devel release : +
+ +
+ For devel release : + ``` (channel (name 'glicid) (url "https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git") (branch "devel")) ``` + +
+ +Substitutes configuration +--- + +We offer substitutes (pre-built binaries) for these channels. + +
+ Substitutes configuration : + +To obtain substitutes for packages in theses channel, add https://guix-substitutes.glicid.fr/ and authorize this key: +``` +(public-key + (ecc + (curve Ed25519) + (q #C07EE66C971860BFE963856ADD29F5F97E347C0C97E4A915B0BE74114EB443AB#))) +``` + +