updating cuirass config service

This commit is contained in:
Jean-François GUILLAUME 2023-01-11 16:15:49 +01:00
parent fae637ae7a
commit 94b6ef6968
GPG key ID: 38751DAE145EFB5A

View file

@ -112,7 +112,9 @@
(use-substitutes? (cuirass-configuration-use-substitutes? config)) (use-substitutes? (cuirass-configuration-use-substitutes? config))
(one-shot? (cuirass-configuration-one-shot? config)) (one-shot? (cuirass-configuration-one-shot? config))
(fallback? (cuirass-configuration-fallback? 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 `(,(shepherd-service
(documentation "Run Cuirass.") (documentation "Run Cuirass.")
(provision '(cuirass)) (provision '(cuirass))