#!/bin/sh
# Wrapper around gnome-terminal that runs it with --wait option
# (if supoported).

# Check if our gnome-terminal version supports --wait
# (we can't just run it and check exit code, because if it works, it will
# return the exit code of the child process)
case "$(gnome-terminal --help-terminal-options)" in
    *--wait\ *) exec gnome-terminal --wait "$@" ;;
    *)          exec gnome-terminal "$@" ;;
esac