From 41f9010fb90edbb0216f23b0af4ba0080c7eb399 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 30 Jul 2019 12:08:10 +0200
Subject: [PATCH] [bootstrap] Pinning miniconda installer to circumvent issues
with latest installer (see
https://gitlab.idiap.ch/bob/bob.devtools/-/jobs/169897)
---
bob/devtools/bootstrap.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
index 69748859..1f9f23ca 100644
--- a/bob/devtools/bootstrap.py
+++ b/bob/devtools/bootstrap.py
@@ -198,7 +198,7 @@ def get_miniconda_sh():
import http.client
server = 'repo.continuum.io' #https
- path = '/miniconda/Miniconda3-latest-%s-x86_64.sh'
+ path = '/miniconda/Miniconda3-4.6.14-%s-x86_64.sh'
if platform.system() == 'Darwin':
path = path % 'MacOSX'
else:
--
GitLab