|
| 1 | +#!/usr/bin/env sh |
| 2 | + |
| 3 | +# This is a wrapper script, that automatically download mill from GitHub release pages |
| 4 | +# You can give the required mill version with MILL_VERSION env variable |
| 5 | +# If no version is given, it falls back to the value of DEFAULT_MILL_VERSION |
| 6 | + |
| 7 | +set -e |
| 8 | + |
| 9 | +if [ -z "${DEFAULT_MILL_VERSION}" ] ; then |
| 10 | + DEFAULT_MILL_VERSION=0.11.2 |
| 11 | +fi |
| 12 | + |
| 13 | +if [ -z "$MILL_VERSION" ] ; then |
| 14 | + if [ -f ".mill-version" ] ; then |
| 15 | + MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" |
| 16 | + elif [ -f ".config/mill-version" ] ; then |
| 17 | + MILL_VERSION="$(head -n 1 .config/mill-version 2> /dev/null)" |
| 18 | + elif [ -f "mill" ] && [ "$0" != "mill" ] ; then |
| 19 | + MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2) |
| 20 | + else |
| 21 | + MILL_VERSION=$DEFAULT_MILL_VERSION |
| 22 | + fi |
| 23 | +fi |
| 24 | + |
| 25 | +if [ "x${XDG_CACHE_HOME}" != "x" ] ; then |
| 26 | + MILL_DOWNLOAD_PATH="${XDG_CACHE_HOME}/mill/download" |
| 27 | +else |
| 28 | + MILL_DOWNLOAD_PATH="${HOME}/.cache/mill/download" |
| 29 | +fi |
| 30 | +MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/${MILL_VERSION}" |
| 31 | + |
| 32 | +version_remainder="$MILL_VERSION" |
| 33 | +MILL_MAJOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}" |
| 34 | +MILL_MINOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}" |
| 35 | + |
| 36 | +if [ ! -s "$MILL_EXEC_PATH" ] ; then |
| 37 | + mkdir -p "$MILL_DOWNLOAD_PATH" |
| 38 | + if [ "$MILL_MAJOR_VERSION" -gt 0 ] || [ "$MILL_MINOR_VERSION" -ge 5 ] ; then |
| 39 | + ASSEMBLY="-assembly" |
| 40 | + fi |
| 41 | + DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download |
| 42 | + MILL_VERSION_TAG=$(echo $MILL_VERSION | sed -E 's/([^-]+)(-M[0-9]+)?(-.*)?/\1\2/') |
| 43 | + MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION_TAG}/$MILL_VERSION${ASSEMBLY}" |
| 44 | + curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL" |
| 45 | + chmod +x "$DOWNLOAD_FILE" |
| 46 | + mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH" |
| 47 | + unset DOWNLOAD_FILE |
| 48 | + unset MILL_DOWNLOAD_URL |
| 49 | +fi |
| 50 | + |
| 51 | +if [ -z "$MILL_MAIN_CLI" ] ; then |
| 52 | + MILL_MAIN_CLI="${0}" |
| 53 | +fi |
| 54 | + |
| 55 | +MILL_FIRST_ARG="" |
| 56 | +if [ "$1" = "--bsp" ] || [ "$1" = "-i" ] || [ "$1" = "--interactive" ] || [ "$1" = "--no-server" ] || [ "$1" = "--repl" ] || [ "$1" = "--help" ] ; then |
| 57 | + # Need to preserve the first position of those listed options |
| 58 | + MILL_FIRST_ARG=$1 |
| 59 | + shift |
| 60 | +fi |
| 61 | + |
| 62 | +unset MILL_DOWNLOAD_PATH |
| 63 | +unset MILL_VERSION |
| 64 | + |
| 65 | +exec $MILL_EXEC_PATH $MILL_FIRST_ARG -D "mill.main.cli=${MILL_MAIN_CLI}" "$@" |
0 commit comments