From 742814fb8b81f23693e5442b9c5662a68b705c8e Mon Sep 17 00:00:00 2001 From: aghamir Date: Mon, 14 Sep 2020 19:19:38 +0430 Subject: [PATCH] Change miniconda url Previous url is redirect to the new conda repository. However, sometimes this does not happen and stuck in resolving previous name from DNS. --- linuxdeploy-plugin-conda.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/linuxdeploy-plugin-conda.sh b/linuxdeploy-plugin-conda.sh index 60d46f2..96ea1b0 100755 --- a/linuxdeploy-plugin-conda.sh +++ b/linuxdeploy-plugin-conda.sh @@ -115,7 +115,7 @@ case "$ARCH" in esac pushd "$CONDA_DOWNLOAD_DIR" - miniconda_url=https://repo.continuum.io/miniconda/"$miniconda_installer_filename" + miniconda_url=https://repo.anaconda.com/miniconda/"$miniconda_installer_filename" # let's make sure the file exists before we then rudimentarily ensure mutual exclusive access to it with flock # we set the timestamp to epoch 0; this should likely trigger a redownload for the first time touch "$miniconda_installer_filename" -d '@0'