#!/usr/bin/env bash function out(){ echo "$1" >> "$HIE_BIOS_OUTPUT" } if [ "$1" == "--interactive" ]; then out "$(pwd)" for arg in "$@"; do out "$arg" done else "ghc" "$@" fi