#!/usr/bin/env bash set -e if [[ $HACL_HOME == "" ]]; then echo "Usage: HACL_HOME= $0" echo "Please set a suitable value for HACL_HOME" exit 1 fi echo -n "Will install vale into $(realpath $HACL_HOME/..)/vale, hit Ctrl-C to abort" sleep 1 echo -n . sleep 1 echo -n . sleep 1 echo . cd $HACL_HOME/.. if [ ! -d vale ]; then mkdir vale fi vale_version=$(<$HACL_HOME/vale/.vale_version) vale_version=${vale_version%$'\r'} # remove Windows carriage return, if it exists old_vale_version=none if [ -e vale/bin/.vale_version ]; then old_vale_version=$(