blob: 527529126c186bc714ba202db120d5432282921b (
plain) (
tree)
|
|
#!/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 parameter
# If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
DEFAULT_MILL_VERSION=0.4.1
set -e
if [ -f ".mill-version" ] ; then
MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)"
fi
if [ "x$1" = "x--mill-version" ] ; then
shift
if [ "x$1" != "x" ] ; then
MILL_VERSION="$1"
shift
else
echo "You specified --mill-version without a version."
echo "Please provide a version that matches one provided on"
echo "https://github.com/lihaoyi/mill/releases"
false
fi
fi
MILL_DOWNLOAD_PATH="${HOME}/.mill/download"
if [ "x${MILL_VERSION}" = "x" ] ; then
// TODO: try to load latest version from release page
echo -n "Retrieving latest mill version..."
if [ -e "${MILL_DOWNLOAD_PATH}/.latest" ] ; then
MILL_VERSION="$(head -n 1 \"${MILL_DOWNLOAD_PATH}/.latest\" 2> /dev/null)"
fi
// Last resort
if [ "x${MILL_VERSION}" = "x" ] ; then
MILL_VERSION="${DEFAULT_MILL_VERSION}"
fi
fi
MILL="${MILL_DOWNLOAD_PATH}/${MILL_VERSION}"
if [ ! -x "${MILL}" ] ; then
DOWNLOAD_FILE=$(mktemp mill.XXXX)
# TODO: handle command not found
curl -L -o "${DOWNLOAD_FILE}" "https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/${MILL_VERSION}"
chmod +x "${DOWNLOAD_FILE}"
mkdir -p "${MILL_DOWNLOAD_PATH}"
mv "${DOWNLOAD_FILE}" "${MILL}"
unset DOWNLOAD_FILE
fi
unset MILL_DOWNLOAD_PATH
unset MILL_VERSION
exec $MILL "$@"
|