1#!/usr/bin/env bash 2 3SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd) 4exec "$SCRIPT_DIR"/update.hs "$(realpath "$0")" "$1"