equal
deleted
inserted
replaced
|
1 #!/usr/bin/env sh |
|
2 |
|
3 # This is a wrapper script, that automatically download ammonite from GitHub release pages |
|
4 # You can give the required mill version with AMM_VERSION env variable |
|
5 # If no version is given, it falls back to the value of DEFAULT_AMM_VERSION |
|
6 DEFAULT_AMM_VERSION=2.3.8 |
|
7 |
|
8 set -e |
|
9 |
|
10 if [ -z "$AMM_VERSION" ] ; then |
|
11 AMM_VERSION=$DEFAULT_AMM_VERSION |
|
12 fi |
|
13 |
|
14 AMM_DOWNLOAD_PATH="$HOME/.ammonite/download" |
|
15 AMM_EXEC_PATH="${AMM_DOWNLOAD_PATH}/$AMM_VERSION" |
|
16 |
|
17 if [ ! -x "$AMM_EXEC_PATH" ] ; then |
|
18 mkdir -p $AMM_DOWNLOAD_PATH |
|
19 DOWNLOAD_FILE=$AMM_EXEC_PATH-tmp-download |
|
20 AMM_DOWNLOAD_URL="https://github.com/lihaoyi/ammonite/releases/download/${AMM_VERSION%%-*}/2.13-$AMM_VERSION" |
|
21 curl --fail -L -o "$DOWNLOAD_FILE" "$AMM_DOWNLOAD_URL" |
|
22 chmod +x "$DOWNLOAD_FILE" |
|
23 mv "$DOWNLOAD_FILE" "$AMM_EXEC_PATH" |
|
24 unset DOWNLOAD_FILE |
|
25 unset AMM_DOWNLOAD_URL |
|
26 fi |
|
27 |
|
28 unset AMM_DOWNLOAD_PATH |
|
29 unset AMM_VERSION |
|
30 |
|
31 exec $AMM_EXEC_PATH "$@" |