mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
Merge branch 'devel' into 'main'
Devel See merge request glicid-public/guix-glicid!192
This commit is contained in:
commit
808d6aa60f
1 changed files with 2 additions and 2 deletions
|
@ -113,8 +113,8 @@
|
||||||
(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)
|
(http-proxy (cuirass-configuration-http-proxy config))
|
||||||
(https-proxy cuirass-configuration-https-proxy config) )
|
(https-proxy (cuirass-configuration-https-proxy config)))
|
||||||
`(,(shepherd-service
|
`(,(shepherd-service
|
||||||
(documentation "Run Cuirass.")
|
(documentation "Run Cuirass.")
|
||||||
(provision '(cuirass))
|
(provision '(cuirass))
|
||||||
|
|
Loading…
Add table
Reference in a new issue