|
3 | 3 | # This is a wrapper script, that automatically download mill from GitHub release pages
|
4 | 4 | # You can give the required mill version with MILL_VERSION env variable
|
5 | 5 | # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
|
6 |
| -DEFAULT_MILL_VERSION=0.9.5-7-f9a698 |
7 | 6 |
|
8 | 7 | set -e
|
9 | 8 |
|
| 9 | +if [ -z "${DEFAULT_MILL_VERSION}" ] ; then |
| 10 | + DEFAULT_MILL_VERSION=0.10.12 |
| 11 | +fi |
| 12 | + |
10 | 13 | if [ -z "$MILL_VERSION" ] ; then
|
11 | 14 | if [ -f ".mill-version" ] ; then
|
12 | 15 | MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)"
|
13 |
| - elif [ -f "mill" ] && [ "$BASH_SOURCE" != "mill" ] ; then |
| 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 |
14 | 19 | MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2)
|
15 | 20 | else
|
16 | 21 | MILL_VERSION=$DEFAULT_MILL_VERSION
|
17 | 22 | fi
|
18 | 23 | fi
|
19 | 24 |
|
20 |
| -MILL_DOWNLOAD_PATH="$HOME/.mill/download" |
21 |
| -MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/$MILL_VERSION" |
| 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}" |
22 | 31 |
|
23 |
| -if [ ! -x "$MILL_EXEC_PATH" ] ; then |
24 |
| - mkdir -p $MILL_DOWNLOAD_PATH |
| 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 |
25 | 41 | DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
|
26 |
| - MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION-assembly" |
| 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}" |
27 | 44 | curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
|
28 | 45 | chmod +x "$DOWNLOAD_FILE"
|
29 | 46 | mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
|
30 | 47 | unset DOWNLOAD_FILE
|
31 | 48 | unset MILL_DOWNLOAD_URL
|
32 | 49 | fi
|
33 | 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 | + |
34 | 62 | unset MILL_DOWNLOAD_PATH
|
35 | 63 | unset MILL_VERSION
|
36 | 64 |
|
37 |
| -exec $MILL_EXEC_PATH "$@" |
| 65 | +exec $MILL_EXEC_PATH $MILL_FIRST_ARG -D "mill.main.cli=${MILL_MAIN_CLI}" "$@" |
0 commit comments