From 745b985effc740962f02101b871491068c624e9e Mon Sep 17 00:00:00 2001 From: jdlugosz963 Date: Sun, 14 Sep 2025 20:54:39 +0200 Subject: Tune a little my new rde config --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 14fdb7b..ac9ec38 100644 --- a/Makefile +++ b/Makefile @@ -16,4 +16,6 @@ repl: "(begin (use-modules (guix gexp)) ((@ (ares server) run-nrepl-server)))" reconfigure: - sudo -E ${GUIX} system -L ./src reconfigure -e "(@ (jd config) %os)" + sudo -E ${GUIX} system -L ./src reconfigure \ + -e "(@ (jd config) %os)" \ + --substitute-urls='https://ci.guix.gnu.org https://bordeaux.guix.gnu.org https://substitutes.nonguix.org' -- cgit v1.2.3