Check expected miniconda.sh hash, redownloads if necessary (!97) · Merge requests · bob / bob.devtools

André Anjos requested to merge miniconda-sh-hash-check into master Aug 14, 2019

This MR introduces a hash check on the expected version of the miniconda installer.

It re-downloads the installer if the hash does not match or if it is not cached.

This solves an issue in which more recent versions of the conda (4.7.x) take very long to bootstrap bob.devtools.

Check expected miniconda.sh hash, redownloads if necessary