diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 05:38:55 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-08 05:38:55 +0800 |
commit | a8d1adf065f3e494bb91034960afcc7198957a2e (patch) | |
tree | 0e43bab1d48fcfd79e9281c283019d06ddb2530c /mill | |
parent | 79a63fb3f12e9fc856e22cdc5eba9095ad882051 (diff) | |
download | mill-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-x | mill | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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" |