RubyMine 2017.1 Help

Terminal

File | Settings | Tools | Terminal for Windows and Linux
RubyMine | Preferences | Tools | Terminal for macOS
Ctrl+Alt+S
/help/img/idea/2017.1/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 RubyMine 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
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.
Close session when it endsIf this check box is selected, the current session ends automatically, when the corresponding process ends (for example, by kill ).
Audible bellIf this check box is selected, the console plays the bell sound on incoming escape sequence.
Mouse reportingIf this check box is selected, the embedded local terminal supports mouse pointer.
Copy to clipboard on selectionIf this check box is selected, the text selected in the Terminal, is automatically passed to the system clipboard.
Paste on middle mouse button clickIf this check box is selected, you can paste the clipboard contents by clicking the middle mouse button.
Override IDE shortcutsIf this check box is selected (this is the default setting), the Terminal tool window handles keyboard shortcuts differently from RubyMine.
If this check box is cleared, the RubyMine key bindings are used.
Shell integrationWhen this check box is selected, the terminal first loads a custom rc config file (located in the terminal folder under plugins of RubyMine distribution) which provides an additional set-up, and then the user's rc file.

See Also

Last modified: 18 July 2017