From 4d01410ce5e609c8b5a0b91899c0b720aa9dea0d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20J=C3=B6rdens?= Date: Thu, 4 Jul 2019 14:04:32 +0200 Subject: [PATCH] install-with-conda: notes on proxy --- install-with-conda.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/install-with-conda.py b/install-with-conda.py index 8d9fb99cf..7895c42da 100644 --- a/install-with-conda.py +++ b/install-with-conda.py @@ -19,6 +19,10 @@ CONDA_PACKAGES = [ # Set to False if you have already set up conda channels ADD_CHANNELS = True +# PROXY: If you are behind a web proxy, configure it in your .condarc (as per +# the conda manual) and add it to the "curl" command below (add "--proxy +# http://webproxy.your.com:8080" with your values filled in) + # You should not need to modify the rest of the script below. import os