adding proxy to cuirass-remote-*

This commit is contained in:
Jean-François GUILLAUME 2022-05-04 12:12:59 +02:00
parent f7ef4251b4
commit 36ab8212a7
GPG key ID: 38751DAE145EFB5A

View file

@ -253,6 +253,13 @@
(string-append "--private-key="
private-key))
'()))
#:environment-variables
(list
"GIT_SSL_CAINFO=/etc/ssl/certs/ca-certificates.crt"
(string-append "GIT_EXEC_PATH=" #$git "/libexec/git-core")
(string-append "http_proxy=" #$http-proxy)
(string-append "https_proxy=" #$http-proxy)
)
#:log-file #$log-file))
(stop #~(make-kill-destructor)))))
'()))))
@ -402,6 +409,13 @@ CONFIG."
(string-append "--private-key="
private-key))
'()))
#:environment-variables
(list
"GIT_SSL_CAINFO=/etc/ssl/certs/ca-certificates.crt"
(string-append "GIT_EXEC_PATH=" #$git "/libexec/git-core")
(string-append "http_proxy=" #$http-proxy)
(string-append "https_proxy=" #$http-proxy)
)
#:log-file #$log-file))
(stop #~(make-kill-destructor))))))