summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2019-07-01 06:22:59 -0700
committerLi Haoyi <haoyi.sg@gmail.com>2019-07-01 06:22:59 -0700
commit78e71785bd5112eec6a66d983717ffde798f438e (patch)
tree217d562cdafd84e955f864f3231c61d910d90eb9 /main
parentd2af62e6c35583fafa2f39e9c204fad6a21b38ab (diff)
downloadmill-78e71785bd5112eec6a66d983717ffde798f438e.tar.gz
mill-78e71785bd5112eec6a66d983717ffde798f438e.tar.bz2
mill-78e71785bd5112eec6a66d983717ffde798f438e.zip
scrape ./mill wrapper script for mill version, instead of exec-ing it
Diffstat (limited to 'main')
-rwxr-xr-xmain/mill-template31
1 files changed, 31 insertions, 0 deletions
diff --git a/main/mill-template b/main/mill-template
new file mode 100755
index 00000000..084f5e99
--- /dev/null
+++ b/main/mill-template
@@ -0,0 +1,31 @@
+#!/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