#!/usr/bin/env bash
set -euo pipefail

export SCRIPT_DIR="$(cd "$(dirname "$0")/.." && pwd)"

script() {
  echo "#!/usr/bin/env bash"
  echo "${SCRIPT_DIR}/navi" '$@'
}

BIN="/usr/local/bin/navi"
script > "$BIN"
chmod +x "$BIN"