post_install() {echoecho'NOTE: ghcup requires$GHCUP_INSTALL_BASE_PREFIX/.ghcup/bin to be in your PATH'echo'NOTE: By default,$GHCUP_INSTALL_BASE_PREFIX==$HOME'echo'NOTE: Alternatively, when GHCUP_USE_XDG_DIRS is set, GHCUP uses XDG-ish directories'echo}