Terminal

Last modified: 18 June 2020

File | Settings | Tools | Terminal for Windows and Linux

MPS | Preferences | Tools | Terminal for macOS Ctrl+Alt+S the Settings/Preferences icon

Use this page to customize the Terminal Alt+F12 settings.

tip

MPS implements the terminal functionality with a bundled plugin, which can be completely disabled by clearing the Terminal checkbox on the the Plugins page of the Settings/Preferences Ctrl+Alt+S.

Item

Description

Start directory

Specify the working directory where every new shell session should start.

Environment Variables

Specify custom environment variables for every new shell session.

Shell path

Specify the shell that will run by default. Here are some examples of different shells:

  • Bash: /bin/bash

  • Bash for Windows: bash.exe

  • PowerShell: powershell

  • Command Prompt: cmd.exe

  • Cygwin: "C:\cygwin\bin\bash.exe" --login -i

  • Zsh: /bin/zsh

Tab name

Specify the default name for new tabs.

Audible bell

Play the bell sound on an incoming escape sequence.

Close session when it ends

Close the current session when the corresponding process ends (for example, by kill).

Mouse reporting

Enable the mouse pointer support in the embedded local terminal.

Copy to clipboard on selection

Copy text selected in the terminal to the clipboard.

Paste on middle mouse button click

Paste clipboard contents by clicking the middle mouse button.

Override IDE shortcuts

Use shell-specific shortcuts instead of IDE shortcuts when the Terminal tool window is active.

Shell integration

Integrate the terminal with the system shell to properly keep track of your command history for sessions and load a custom config file with required environment variables.

Shell integration works for sh, bash, zsh, and fish shells.

Highlight hyperlinks

Highlight HTTP links in the terminal and make them clickable.