Minor shell script tweaks
authorXhmikosR <redacted>
Sun, 23 Feb 2020 07:45:44 +0000 (09:45 +0200)
committerXhmikosR <redacted>
Sun, 23 Feb 2020 07:45:44 +0000 (09:45 +0200)
commit59ce889ff051c8936019f3ff9d5b428f3f7c5189
tree91e007d3f8e69f20bbf3f48d5ce96dfc0b39c049
parentdf0ea73da2c56117a6b94c9fb97740479f39a4bf
Minor shell script tweaks

* always double quote variables
* use https for the miniconda URLs
ci/install_conda.sh
ci/setup_conda_env.sh
git clone https://git.99rst.org/PROJECT