diff options
Diffstat (limited to 'main')
| -rwxr-xr-x | main/mill-template | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/main/mill-template b/main/mill-template deleted file mode 100755 index 084f5e99..00000000 --- a/main/mill-template +++ /dev/null @@ -1,31 +0,0 @@ -#!/usr/bin/env sh - -# 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= - -set -e - -if [ -z "$MILL_VERSION" ] ; then - MILL_VERSION=$DEFAULT_MILL_VERSION -fi - -MILL_DOWNLOAD_PATH="$HOME/.mill/download" -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" - curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL" - chmod +x "$DOWNLOAD_FILE" - mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH" - unset DOWNLOAD_FILE - unset MILL_DOWNLOAD_URL -fi - -unset MILL_DOWNLOAD_PATH -unset MILL_VERSION - -exec $MILL_EXEC_PATH "$@"
\ No newline at end of file |