JetBrains Fleet 1.44 Help

Terminal

JetBrains Fleet includes an embedded terminal emulator for working with your command-line shell from inside the code editor. Use it to run Git commands, set file permissions, and perform other command-line tasks without switching to a dedicated terminal application.

Initially, the terminal emulator runs with your default system shell, but it supports many other shells, such as Windows PowerShell, Command Prompt cmd.exe, sh, bash, zsh, csh, and so on.

You can change the shell and configure the terminal appearance in Settings ⌘ , | Terminal.

Open the Terminal tool

  • Go to View | Terminal or press ⌃ ⇧ `.

    By default, the terminal emulator runs with the current directory set to the root directory of the current project.

  • Right-click any file (for example, in the Files panel or any open editor tab) and select Open in | Terminal to open the Terminal tool window with a new session in the directory of that file.

You can run several terminal emulators at once. Each new session opens in a new tab.

Start a new local session

  • To start a new session in a separate tab, click the Add button on the toolbar.

    New session in the terminal
  • To search for a certain string in a terminal session, press ⌘ F. This searches all text in the session: the prompt, commands, and output.

Configure the shell

  1. Press ⌘ , to open settings, then click Terminal.

    Alternatively, to open settings, you can use the main menu:

    • Windows and Linux: click the Menu icon and navigate to File | Settings | Settings.

      workspace settings
    • macOS: from the main menu, click Fleet | Settings.

      workspace settings
  2. In the Terminal section, find the Default profile list.

  3. From the Default profile list, select Edit Terminal Profiles. Alternatively, edit settings.json file directly.

  4. In settings.json, add the "terminal.profiles" array. Specify the following within the array:

    • program: specifies the command that runs the REPL.

    • args: specifies additional arguments. This parameter is optional.

    • name: specifies the name displayed in the Default profile list. This parameter is optional.

    Consider the following examples. The exact code may vary depending on your environment. Ensure that you reference a shell installed on your system.

    "terminal.profiles": [ { "program": "cmd", "args": [""], // optional "name": "cmd" // optional } ]

    or

    "terminal.profiles": [ { "program": "C:/Program Files/Git/usr/bin/bash.exe", "args": [""], // optional "name": "Git bash" // optional } ]
    "terminal.profiles": [ { "program": "/bin/bash", "args": ["-l"], // optional "name": "bash" // optional } ]

    or

    "terminal.profiles": [ { "program": "/opt/homebrew/bin/oh-my-posh", "args": ["init zsh"], "name": "oh-my-posh", }, { "program": "/bin/zsh", "args": ["--login"], "name": "Zsh", }, ],
  5. From the Default profile list, select the profile that you created.

    Configure the shell
  6. Select View | Terminal from the main menu or press ⌃ ⇧ ` to open the Terminal view.

Setting a custom font in the terminal

  1. Install the font in your operating system.

  2. Press ⌘ , to open settings, then click Terminal.

    Alternatively, to open settings, you can use the main menu:

    • Windows and Linux: click the Menu icon and navigate to File | Settings | Settings.

      workspace settings
    • macOS: from the main menu, click Fleet | Settings.

      workspace settings
  3. In the Terminal section, from the Font list, select the font that you need.

  4. Select View | Terminal from the main menu or press ⌃ ⇧ ` to open the Terminal view.

Setting a custom font in the terminal

Terminal settings

Configuring settings of a terminal

  1. Press ⌘ , to open settings, then click Terminal.

    Alternatively, to open settings, you can use the main menu:

    • Windows and Linux: click the Menu icon and navigate to File | Settings | Settings.

      workspace settings
    • macOS: from the main menu, click Fleet | Settings.

      workspace settings
  2. Navigate to Tools | Terminal.

    Configure available settings as needed.

    Settings | Tools | Terminal

Option

Description

Default Value

Font

Specifies the font used in the terminal.

For more information about setting custom fonts in the Terminal, refer to Setting a custom font in the terminal.

JetBrains Mono

Font size

Sets the size of the font in the terminal.

13.0

Line height

Adjusts the height of each line in the terminal.

1.7

Caret shape

Defines the shape of the caret in the terminal. To set the caret shape, type one of the following values in the text field:

  • Vertical: a vertical line.

    Outline

  • VerticalThin: a thin vertical line.

    Outline

  • Underline: an underline or undergo (_).

    Underline

  • Outline: a transparent rectangular block.

    Outline

  • Block: a solid black rectangular black.

    Outline

  • Same as in the editor: the same caret shape as set in the editor.

Same as in the editor

Clear terminal on ⌘K

Clears the terminal output when ⌘K is pressed.

Disabled

Use ⌥ Option as Meta key

Allows the Option key () to function as the Meta key in the terminal.

Disabled

Focus editor on Esc

Switches focus to the editor when Esc (Esc) is pressed.

Enabled

Copy to clipboard on selection

Automatically copies selected text to the clipboard.

Enabled

Terminal bell

Enables or disables the terminal bell sound.

Disabled

Launch terminal in new workspaces

Opens a new terminal for each workspace.

Disabled

Enable integration with the system shell

Enables system shell integration for terminal commands.

Enabled

Add JDK to JAVA_HOME and PATH

Automatically adds JDK to JAVA_HOME and PATH.

Enabled

Add 'node_modules/.bin' to PATH

Adds the local Node.js binary directory to the PATH environment variable.

Enabled

Activate Python virtual environment

Automatically activates Python virtual environments in the terminal.

Enabled

Default profile

Specifies the default shell profile to use in the terminal.

You can create custom profiles by modifying settings.json. For more information, refer to Configure the shell.

zsh (/bin/zsh System)

Terminal profiles

Allows editing terminal profiles in the settings.json file.

You can create custom profiles by modifying settings.json. For more information, refer to Configure the shell.

Edit in settings.json

Last modified: 03 December 2024