Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update install.sh, deletes miniconda installer if interrupted
Potential errors could be avoided and resources can be saved if the miniconda installer is deleted before downloading it again. This is in the case the script is interrupted before the download is completed. I thought that it would be better if it instead checked if it was already there, just so it doesn't have to download it again, but that would cause issues in case the existing file is incomplete or corrupted
- Loading branch information