Skip to content

Commit

Permalink
remove cached miniconda
Browse files Browse the repository at this point in the history
  • Loading branch information
wkerzendorf committed Aug 23, 2018
1 parent fd1fe52 commit 5c1a8a0
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions ci-helpers/install_miniconda.sh
Original file line number Diff line number Diff line change
@@ -1,11 +1,17 @@
export PYTHONIOENCODING=UTF8
if test -e $HOME/miniconda/bin; then
echo "miniconda already installed.";
echo "miniconda already installed.";
export PATH=$HOME/miniconda/bin:$PATH
hash -r
#conda update --yes conda

else
wget $MINICONDA_URL -O miniconda.sh
chmod +x miniconda.sh
rm -r $HOME/miniconda
bash miniconda.sh -b -p $HOME/miniconda

export PATH=$HOME/miniconda/bin:$PATH
hash -r
conda update --yes conda
fi
fi

0 comments on commit 5c1a8a0

Please sign in to comment.