Merge branch 'proxy-url' into 'master'

[proxy] Use proxy for other channels, i.e., conda-forge, too

See merge request !224

bob/devtools/bootstrap.py

@@ -22,6 +22,7 @@ conda_build: #!final
   pkg_format: '2'
 default_channels: #!final
   - https://repo.anaconda.com/pkgs/main
+channel_alias: https://conda.anaconda.org #!final
 quiet: true #!final
 remote_connect_timeout_secs: 120.0 #!final
 remote_max_retries: 50 #!final
@@ -461,14 +462,17 @@ if __name__ == "__main__":
     condarc = os.path.join(args.conda_root, "condarc")
     logger.info("(create) %s", condarc)
     with open(condarc, "wt") as f:
-        # Replaces https://repo.anaconda.com/pkgs/main by
-        # https://bobconda.lab.idiap.ch:8443, so it is optimized for
-        # a CI build.  Notice we consider this script is only executed in this
-        # context.  The URL should NOT work outside of Idiap's network.
+        # Replaces https://repo.anaconda.com and https://conda.anaconda.org by our
+        # mirrors, so it is optimized for a CI build.  Notice we consider this
+        # script is only executed in this context.  The URL should NOT work
+        # outside of Idiap's network.
         f.write(
             _BASE_CONDARC.replace(
                 "https://repo.anaconda.com",
                 "https://bobconda.lab.idiap.ch:8443",
+            ).replace(
+                "https://conda.anaconda.org",
+                "https://bobconda.lab.idiap.ch:9443",
             )
         )