#!/usr/bin/env bash
set -euo pipefail
vigil_executable_dir="$(dirname "$(readlink -f "$0")")"
vigil_launch_args=()
for vigil_launch_arg in "$@"; do
  if [[ "$vigil_launch_arg" == "--debug" ]]; then
    vigil_launch_args+=("--vigil-debug")
  else
    vigil_launch_args+=("$vigil_launch_arg")
  fi
done
exec "$vigil_executable_dir/vigil-code.bin" "${vigil_launch_args[@]}"
