mill
changeset 35 b7cfac7cff27
parent 27 c4534300acdc
equal deleted inserted replaced
34:2b907c14fdcb 35:b7cfac7cff27
     1 #!/usr/bin/env sh
     1 #!/usr/bin/env sh
     2 
     2 
     3 # This is a wrapper script, that automatically download mill from GitHub release pages
     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
     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
     5 # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
     6 DEFAULT_MILL_VERSION=0.5.2
     6 DEFAULT_MILL_VERSION=0.9.4
     7 
     7 
     8 set -e
     8 set -e
     9 
     9 
    10 if [ -z "$MILL_VERSION" ] ; then
    10 if [ -z "$MILL_VERSION" ] ; then
    11   if [ -f ".mill-version" ] ; then
    11   if [ -f ".mill-version" ] ; then
    15   else
    15   else
    16     MILL_VERSION=$DEFAULT_MILL_VERSION
    16     MILL_VERSION=$DEFAULT_MILL_VERSION
    17   fi
    17   fi
    18 fi
    18 fi
    19 
    19 
    20 MILL_DOWNLOAD_PATH="$HOME/.mill/download"
    20 if [ "x${XDG_CACHE_HOME}" != "x" ] ; then
    21 MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/$MILL_VERSION"
    21   MILL_DOWNLOAD_PATH="${XDG_CACHE_HOME}/mill/download"
       
    22 else
       
    23   MILL_DOWNLOAD_PATH="${HOME}/.cache/mill/download"
       
    24 fi
       
    25 MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/${MILL_VERSION}"
    22 
    26 
    23 version_remainder="$MILL_VERSION"
    27 version_remainder="$MILL_VERSION"
    24 MILL_MAJOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
    28 MILL_MAJOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
    25 MILL_MINOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
    29 MILL_MINOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
    26 
    30 
    27 if [ ! -x "$MILL_EXEC_PATH" ] ; then
    31 if [ ! -x "$MILL_EXEC_PATH" ] ; then
    28   mkdir -p $MILL_DOWNLOAD_PATH
    32   mkdir -p $MILL_DOWNLOAD_PATH
    29   if [ $MILL_MAJOR_VERSION -gt 0 ] || [ $MILL_MINOR_VERSION -ge 5 ] ; then
    33   if [ "$MILL_MAJOR_VERSION" -gt 0 ] || [ "$MILL_MINOR_VERSION" -ge 5 ] ; then
    30     ASSEMBLY="-assembly"
    34     ASSEMBLY="-assembly"
    31   fi
    35   fi
    32   DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
    36   DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
    33   MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION${ASSEMBLY}"
    37   MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION${ASSEMBLY}"
    34   curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
    38   curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"