diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
commit | 4860ed764066c17f4cfbcf6d7ffa2fef24e69087 (patch) | |
tree | df0fa859af63e948348a377b3eaacec8f440ba4c | |
parent | 7f30eccd7633d6ba4e4ec59f0f83a8f06de15113 (diff) | |
download | mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.gz mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.bz2 mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.zip |
tweak launcher script to fix scraping of mill version
-rw-r--r-- | .mill-version | 1 | ||||
-rwxr-xr-x | mill | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.mill-version b/.mill-version deleted file mode 100644 index 2b7c5ae0..00000000 --- a/.mill-version +++ /dev/null @@ -1 +0,0 @@ -0.4.2 @@ -11,7 +11,7 @@ if [ -z "$MILL_VERSION" ] ; then if [ -f ".mill-version" ] ; then MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" elif [ -f "mill" ] && [ "$BASH_SOURCE" != "mill" ] ; then - MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | cut -d= -f2) + MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2) else MILL_VERSION=$DEFAULT_MILL_VERSION fi |