2020-01-27 12:11:48 +01:00
|
|
|
#!/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)
|
2020-01-31 17:34:03 +01:00
|
|
|
case "$(gnome-terminal --help-terminal-options)" in
|
2020-01-31 17:34:04 +01:00
|
|
|
*--wait\ *) exec gnome-terminal --wait "$@" ;;
|
|
|
|
*) exec gnome-terminal "$@" ;;
|
2020-01-31 17:34:03 +01:00
|
|
|
esac
|