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 /mill | |
parent | 93f2bf7d14aaa27d2bae7b72c97bbfb40c0808e7 (diff) | |
download | mill-83aa7de17bf175ce64869f70c54de3882e047a1f.tar.gz mill-83aa7de17bf175ce64869f70c54de3882e047a1f.tar.bz2 mill-83aa7de17bf175ce64869f70c54de3882e047a1f.zip |
fix assembly download path
Diffstat (limited to 'mill')
-rwxr-xr-x | mill | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |