From 94b6ef696887251285767c2e19883cb56e9fa6da Mon Sep 17 00:00:00 2001 From: JEAN-FRANCOIS GUILLAUME Date: Wed, 11 Jan 2023 16:15:49 +0100 Subject: [PATCH] updating cuirass config service --- 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))