Re: GUIX behind a proxy

2022-10-24 Thread 宋文武
tps://10.10.6.11:8080' > Environment='http_proxy=http://10.10.6.11:8080' > Environment='HTTP_PROXY=http://10.10.6.11:8080' > Environment='HTTPS_PROXY=https://10.10.6.11:8080' > [...] > > Is there anything I might have missed? Can someone help me with co

Re: GUIX behind a proxy

2022-10-21 Thread Wojtek Kosior via
/ci.guix.gnu.org"; wird > aktualisiert ... 0.0% > substitute: Liste der Substitute von "https://ci.guix.gnu.org"; wird > aktualisiert ... 0.0% > substitute: Liste der Substitute von "https://ci.guix.gnu.org"; wird > aktualisiert ... 0.0% > substit

GUIX behind a proxy

2022-10-21 Thread Diederich, Stefan
wird aktualisiert ... 0.0% substitute: Liste der Substitute von "https://ci.guix.gnu.org"; wird aktualisiert ... 0.0% Is there anything I might have missed? Can someone help me with configuring guix behind a proxy? Thanks in advance Stefan Dr. Stefan Diederich M. Sc. Bioinformatik Universitätsmedizin der Johannes Gutenberg-Universität Mainz Langenbeckstraße 1, 55131 Mainz Tel.: 06131 17-5797