Test for #6136:
Thanks to PR #6136 it is now possible to configure which terminal application to use for the "Open in Terminal" action.
The name of the corresponding setting is terminal.external.osxExec.
Verify that
- this works with common terminal applications for OS X.
- the newly created terminal/shell opens in the correct directory
- try to break it by using directories with funny characters in the path.