MPS 2017.2 Help

Terminal

File | Settings | Tools | Terminal for Windows and Linux
MPS | Preferences | Tools | Terminal for macOS
N/A /help/img/idea/2017.2/settings.png


Use this dialog to specify settings for the embedded local terminal.

Prerequisites

Before you start working with terminal, make sure that the Terminal plugin is enabled. The plugin is bundled with MPS and is activated by default. If the plugin is not activated, enable it on the Plugins page of the Settings / Preferences Dialog as described in Enabling and Disabling Plugins.

ItemDescription
Start directory Specify the working directory where the terminal will be launched.
Shell pathSpecify the shell that will run by default.
Tab nameSpecify the default name of a new session tab. Note that a session tab can be renamed.
Audible bellIf this option is selected, the console plays the bell sound on incoming escape sequence.
Close session when it endsIf this option is selected, the current session ends automatically when the corresponding process ends (for example, by kill ).
Mouse reportingIf this option is selected, the embedded local terminal supports the mouse pointer.
Copy to clipboard on selectionIf this option is selected, the text selected in the Terminal is automatically copied to clipboard.
Paste on middle mouse button clickIf this option is selected, you can paste clipboard contents by clicking the middle mouse button.
Override IDE shortcutsIf this option is selected, the Terminal tool window handles keyboard shortcuts differently from MPS.
If this check box is cleared, the MPS key bindings are used.
Shell integrationIf this option is selected, the terminal first loads a custom rc config file (located in the terminal folder under plugins of MPS distribution) which provides an additional set-up, and then the user's rc file.
Last modified: 26 October 2017

See Also