1234567891011 |
- #!/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
|