From a535f3e3c5d51393fc3ffd7cf359d128284e797d Mon Sep 17 00:00:00 2001 From: Li Haoyi Date: Sun, 30 Jun 2019 03:03:44 -0700 Subject: add bootstrap script --- mill | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'mill') diff --git a/mill b/mill index 874c26e..74f1d62 100755 --- a/mill +++ b/mill @@ -20,6 +20,7 @@ if [ ! -x "$MILL_EXEC_PATH" ] ; then MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION" curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL" chmod +x "$DOWNLOAD_FILE" + mkdir -p "$MILL_DOWNLOAD_PATH" mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH" unset DOWNLOAD_FILE unset MILL_DOWNLOAD_URL @@ -28,4 +29,4 @@ fi unset MILL_DOWNLOAD_PATH unset MILL_VERSION -exec $MILL_EXEC_PATH "$@" +exec $MILL_EXEC_PATH "$@" \ No newline at end of file -- cgit v1.2.3