diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 12:59:31 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 12:59:31 +0800 |
commit | 83aa7de17bf175ce64869f70c54de3882e047a1f (patch) | |
tree | a4b627a0dde6509f6dec3abc549cee5c77478d8c | |
parent | 93f2bf7d14aaa27d2bae7b72c97bbfb40c0808e7 (diff) | |
download | mill-83aa7de17bf175ce64869f70c54de3882e047a1f.tar.gz mill-83aa7de17bf175ce64869f70c54de3882e047a1f.tar.bz2 mill-83aa7de17bf175ce64869f70c54de3882e047a1f.zip |
fix assembly download path
-rw-r--r-- | .mill-version | 1 | ||||
-rwxr-xr-x | mill | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.mill-version b/.mill-version new file mode 100644 index 00000000..8f0916f7 --- /dev/null +++ b/.mill-version @@ -0,0 +1 @@ +0.5.0 @@ -3,7 +3,7 @@ # This is a wrapper script, that automatically download mill from GitHub release pages # You can give the required mill version with MILL_VERSION env variable # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION -DEFAULT_MILL_VERSION=0.4.2 +DEFAULT_MILL_VERSION=0.5.0 set -e @@ -23,7 +23,7 @@ MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/$MILL_VERSION" if [ ! -x "$MILL_EXEC_PATH" ] ; then mkdir -p $MILL_DOWNLOAD_PATH DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download - MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION" + MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION-assembly" curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL" chmod +x "$DOWNLOAD_FILE" mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH" |