diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 04:56:13 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 04:56:13 +0800 |
commit | e65dcabb62f0d71010e666cc6e869089f0cfabfc (patch) | |
tree | 0e43bab1d48fcfd79e9281c283019d06ddb2530c /mill | |
parent | 05e4309be03fb2e4144ccafa03160609e2ed0278 (diff) | |
download | mill-e65dcabb62f0d71010e666cc6e869089f0cfabfc.tar.gz mill-e65dcabb62f0d71010e666cc6e869089f0cfabfc.tar.bz2 mill-e65dcabb62f0d71010e666cc6e869089f0cfabfc.zip |
ensure MILL_VERSION environment variable always takes precedence over .mill-version file, which takes precedence over DEFAULT_MILL_VERSIONmillw
Diffstat (limited to 'mill')
-rwxr-xr-x | mill | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -7,12 +7,12 @@ DEFAULT_MILL_VERSION=0.4.2 set -e -if [ -f ".mill-version" ] ; then - MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" -fi - if [ -z "$MILL_VERSION" ] ; then - MILL_VERSION=$DEFAULT_MILL_VERSION + if [ -f ".mill-version" ] ; then + MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" + else + MILL_VERSION=$DEFAULT_MILL_VERSION + fi fi MILL_DOWNLOAD_PATH="$HOME/.mill/download" |