55# If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
66#
77# Project page: https://github.com/lefou/millw
8+ # Script Version: 0.4.2
89#
910# If you want to improve this script, please also contribute your changes back!
1011#
1112# Licensed under the Apache License, Version 2.0
1213
1314
14- DEFAULT_MILL_VERSION=0.9.5
15+ DEFAULT_MILL_VERSION=0.10.0
1516
1617set -e
1718
1819MILL_REPO_URL=" https://github.com/com-lihaoyi/mill"
1920
21+ if [ -z " ${CURL_CMD} " ; then
22+ CURL_CMD=curl
23+ fi
24+
2025# Explicit commandline argument takes precedence over all other methods
21- if [ " x $1 " = " x --mill-version" ; then
26+ if [ " $1 " = " --mill-version" ; then
2227 shift
2328 if [ " x$1 " != " x" ; then
2429 MILL_VERSION=" $1 "
2530 shift
2631 else
27- echo " You specified --mill-version without a version."
28- echo " Please provide a version that matches one provided on"
29- echo " ${MILL_REPO_URL} /releases"
32+ echo " You specified --mill-version without a version." 1>&2
33+ echo " Please provide a version that matches one provided on" 1>&2
34+ echo " ${MILL_REPO_URL} /releases" 1>&2
3035 false
3136 fi
3237fi
3540# We reuse it's value and skip searching for a value.
3641
3742# If not already set, read .mill-version file
38- if [ " x ${MILL_VERSION} " = " x " ; then
43+ if [ -z " ${MILL_VERSION} " ; then
3944 if [ -f " .mill-version" ; then
4045 MILL_VERSION=" $( head -n 1 .mill-version 2> /dev/null) "
4146 fi
4247fi
4348
44- if [ " x ${XDG_CACHE_HOME} " != " x " ; then
49+ if [ -n " ${XDG_CACHE_HOME} " ; then
4550 MILL_DOWNLOAD_PATH=" ${XDG_CACHE_HOME} /mill/download"
4651else
4752 MILL_DOWNLOAD_PATH=" ${HOME} /.cache/mill/download"
4853fi
4954
5055# If not already set, try to fetch newest from Github
51- if [ " x ${MILL_VERSION} " = " x " ; then
56+ if [ -z " ${MILL_VERSION} " ; then
5257 # TODO: try to load latest version from release page
53- echo " No mill version specified."
54- echo " You should provide a version via '.mill-version' file or --mill-version option."
58+ echo " No mill version specified." 1>&2
59+ echo " You should provide a version via '.mill-version' file or --mill-version option." 1>&2
5560
5661 mkdir -p " ${MILL_DOWNLOAD_PATH} "
57- LANG=C touch -d ' 1 hour ago' " ${MILL_DOWNLOAD_PATH} /.expire_latest"
58- if [ " ${MILL_DOWNLOAD_PATH} /.latest" -nt " ${MILL_DOWNLOAD_PATH} /.expire_latest" ; then
62+ LANG=C touch -d ' 1 hour ago' " ${MILL_DOWNLOAD_PATH} /.expire_latest" 2> /dev/null || (
63+ # we might be on OSX or BSD which don't have -d option for touch
64+ # but probably a -A [-][[hh]mm]SS
65+ touch " ${MILL_DOWNLOAD_PATH} /.expire_latest" ; touch -A -010000 " ${MILL_DOWNLOAD_PATH} /.expire_latest"
66+ ) || (
67+ # in case we still failed, we retry the first touch command with the intention
68+ # to show the (previously suppressed) error message
69+ LANG=C touch -d ' 1 hour ago' " ${MILL_DOWNLOAD_PATH} /.expire_latest"
70+ )
71+
72+ # POSIX shell variant of bash's -nt operator, see https://unix.stackexchange.com/a/449744/6993
73+ # if [ "${MILL_DOWNLOAD_PATH}/.latest" -nt "${MILL_DOWNLOAD_PATH}/.expire_latest" ] ; then
74+ if [ -n " $( find -L " ${MILL_DOWNLOAD_PATH} /.latest" " ${MILL_DOWNLOAD_PATH} /.expire_latest" ) " ; then
5975 # we know a current latest version
60- MILL_VERSION=" $( head -n 1 ${MILL_DOWNLOAD_PATH} /.latest 2> /dev/null) "
76+ MILL_VERSION=$( head -n 1 " ${MILL_DOWNLOAD_PATH} " 2> /dev/null)
6177 fi
6278
63- if [ " x ${MILL_VERSION} " = " x " ; then
79+ if [ -z " ${MILL_VERSION} " ; then
6480 # we don't know a current latest version
65- echo " Retrieving latest mill version ..."
66- LANG=C curl -s -i -f -I ${MILL_REPO_URL} /releases/latest 2> /dev/null | grep --ignore-case Location: | sed s' /^.*tag\///' | tr -d ' \r\n' > " ${MILL_DOWNLOAD_PATH} /.latest"
67- MILL_VERSION=" $( head -n 1 ${MILL_DOWNLOAD_PATH} /.latest 2> /dev/null) "
81+ echo " Retrieving latest mill version ..." 1>&2
82+ LANG=C ${CURL_CMD} -s -i -f -I ${MILL_REPO_URL} /releases/latest 2> /dev/null | grep --ignore-case Location: | sed s' /^.*tag\///' | tr -d ' \r\n' > " ${MILL_DOWNLOAD_PATH} /.latest"
83+ MILL_VERSION=$( head -n 1 " ${MILL_DOWNLOAD_PATH} " 2> /dev/null)
6884 fi
6985
70- if [ " x ${MILL_VERSION} " = " x " ; then
86+ if [ -z " ${MILL_VERSION} " ; then
7187 # Last resort
7288 MILL_VERSION=" ${DEFAULT_MILL_VERSION} "
73- echo " Falling back to hardcoded mill version ${MILL_VERSION} "
89+ echo " Falling back to hardcoded mill version ${MILL_VERSION} " 1>&2
7490 else
75- echo " Using mill version ${MILL_VERSION} "
91+ echo " Using mill version ${MILL_VERSION} " 1>&2
7692 fi
7793fi
7894
7995MILL=" ${MILL_DOWNLOAD_PATH} /${MILL_VERSION} "
8096
97+ try_to_use_system_mill () {
98+ MILL_IN_PATH=" $( command -v mill || true) "
99+
100+ if [ -z " ${MILL_IN_PATH} " ; then
101+ return
102+ fi
103+
104+ UNIVERSAL_SCRIPT_MAGIC=" @ 2>/dev/null # 2>nul & echo off & goto BOF"
105+
106+ if ! head -c 128 " ${MILL_IN_PATH} " | grep -qF " ${UNIVERSAL_SCRIPT_MAGIC} " ; then
107+ if [ -n " ${MILLW_VERBOSE} " ; then
108+ echo " Could not determine mill version of ${MILL_IN_PATH} , as it does not start with the universal script magic2" 1>&2
109+ fi
110+ return
111+ fi
112+
113+ # Roughly the size of the universal script.
114+ MILL_VERSION_SEARCH_RANGE=" 2403"
115+ MILL_IN_PATH_VERSION=$( head -c " ${MILL_VERSION_SEARCH_RANGE} " " ${MILL_IN_PATH} " | \
116+ sed -n ' s/^.*-DMILL_VERSION=\([^\s]*\) .*$/\1/p' | \
117+ head -n 1)
118+
119+ if [ -z " ${MILL_IN_PATH_VERSION} " ; then
120+ echo " Could not determine mill version, even though ${MILL_IN_PATH} has the universal script magic" 1>&2
121+ return
122+ fi
123+
124+ if [ " ${MILL_IN_PATH_VERSION} " = " ${MILL_VERSION} " ; then
125+ MILL=" ${MILL_IN_PATH} "
126+ fi
127+ }
128+ try_to_use_system_mill
129+
81130# If not already downloaded, download it
82131if [ ! -s " ${MILL} " ; then
83-
132+
84133 # support old non-XDG download dir
85134 MILL_OLD_DOWNLOAD_PATH=" ${HOME} /.mill/download"
86135 OLD_MILL=" ${MILL_OLD_DOWNLOAD_PATH} /${MILL_VERSION} "
87136 if [ -x " ${OLD_MILL} " ; then
88137 MILL=" ${OLD_MILL} "
89138 else
90- VERSION_PREFIX=" $( echo -n $MILL_VERSION | cut -b -4) "
139+ VERSION_PREFIX=" $( echo $MILL_VERSION | cut -b -4) "
91140 case $VERSION_PREFIX in
92141 0.0. | 0.1. | 0.2. | 0.3. | 0.4. )
93142 DOWNLOAD_SUFFIX=" "
@@ -98,10 +147,11 @@ if [ ! -s "${MILL}" ] ; then
98147 esac
99148 unset VERSION_PREFIX
100149
101- DOWNLOAD_FILE=$( mktemp mill.XXXX )
150+ DOWNLOAD_FILE=$( mktemp mill.XXXXXX )
102151 # TODO: handle command not found
103- echo " Downloading mill ${MILL_VERSION} from ${MILL_REPO_URL} /releases ..."
104- curl -L -o " ${DOWNLOAD_FILE} " " ${MILL_REPO_URL} /releases/download/${MILL_VERSION%% -* } /${MILL_VERSION}${DOWNLOAD_SUFFIX} "
152+ echo " Downloading mill ${MILL_VERSION} from ${MILL_REPO_URL} /releases ..." 1>&2
153+ MILL_VERSION_TAG=$( echo $MILL_VERSION | sed -E ' s/([^-]+)(-M[0-9]+)?(-.*)?/\1\2/' )
154+ ${CURL_CMD} -f -L -o " ${DOWNLOAD_FILE} " " ${MILL_REPO_URL} /releases/download/${MILL_VERSION_TAG} /${MILL_VERSION}${DOWNLOAD_SUFFIX} "
105155 chmod +x " ${DOWNLOAD_FILE} "
106156 mkdir -p " ${MILL_DOWNLOAD_PATH} "
107157 mv " ${DOWNLOAD_FILE} " " ${MILL} "
@@ -115,6 +165,7 @@ unset MILL_DOWNLOAD_PATH
115165unset MILL_OLD_DOWNLOAD_PATH
116166unset OLD_MILL
117167unset MILL_VERSION
168+ unset MILL_VERSION_TAG
118169unset MILL_REPO_URL
119170
120- exec $ MILL" $@ "
171+ exec " ${ MILL} " " $@ "
0 commit comments