From 9c0282bdf9cceb6934f1351839256d46a66e7c24 Mon Sep 17 00:00:00 2001 From: Jean-Francois GUILLAUME Date: Wed, 11 Jan 2023 15:16:13 +0000 Subject: [PATCH] Devel --- glicid/services/cuirass.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/glicid/services/cuirass.scm b/glicid/services/cuirass.scm index b557e94..116c8dc 100644 --- a/glicid/services/cuirass.scm +++ b/glicid/services/cuirass.scm @@ -112,7 +112,9 @@ (use-substitutes? (cuirass-configuration-use-substitutes? config)) (one-shot? (cuirass-configuration-one-shot? config)) (fallback? (cuirass-configuration-fallback? config)) - (extra-options (cuirass-configuration-extra-options config))) + (extra-options (cuirass-configuration-extra-options config)) + (http-proxy cuirass-configuration-http-proxy config) + (https-proxy cuirass-configuration-https-proxy config) ) `(,(shepherd-service (documentation "Run Cuirass.") (provision '(cuirass))