summaryrefslogtreecommitdiff
path: root/mill
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2019-07-08 05:38:55 +0800
committerGitHub <noreply@github.com>2019-07-08 05:38:55 +0800
commita8d1adf065f3e494bb91034960afcc7198957a2e (patch)
tree0e43bab1d48fcfd79e9281c283019d06ddb2530c /mill
parent79a63fb3f12e9fc856e22cdc5eba9095ad882051 (diff)
downloadmill-a8d1adf065f3e494bb91034960afcc7198957a2e.tar.gz
mill-a8d1adf065f3e494bb91034960afcc7198957a2e.tar.bz2
mill-a8d1adf065f3e494bb91034960afcc7198957a2e.zip
Consolidate ./mill and ./millw script (#650)
* . * ensure MILL_VERSION environment variable always takes precedence over .mill-version file, which takes precedence over DEFAULT_MILL_VERSION
Diffstat (limited to 'mill')
-rwxr-xr-xmill6
1 files changed, 5 insertions, 1 deletions
diff --git a/mill b/mill
index abd5a6bf..3d073df4 100755
--- a/mill
+++ b/mill
@@ -8,7 +8,11 @@ DEFAULT_MILL_VERSION=0.4.2
set -e
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"