Terminal

Shell Integration & Profiles

The terminal can mark each command, remember your folder, and jump between past commands. It is still a normal terminal underneath.

Shell integration

Shell integration turns on by itself for the common shells: PowerShell, bash, zsh, and fish. You then get a few extras:

Command decorations

A colored marker shows in the gutter next to each command's output, so you can see at a glance whether it succeeded or failed.

Command navigation

Jump to the previous or next command's output with Ctrl+Up/Down, instead of scrolling a long build log by hand.

Working directory detection

Gyaanmitra knows the terminal's current folder. A new split or a new terminal can open in the place you already are.

Sticky scroll

While a long command runs, its line stays pinned at the top and the output scrolls underneath.

If decorations don't appear

Shell integration adds a small script to your shell's startup on its own. If your shell setup skips the usual startup files, run Terminal: Show Shell Integration Status for a check, or turn it off with terminal.integrated.shellIntegration.enabled.

Shell profiles

A profile is a named terminal setup: which shell to run, with what arguments, and in which folder it starts. Gyaanmitra finds the shells already on your machine and offers them as profiles. You can add your own for something more specific, such as a WSL distribution, a Python virtual environment, or an SSH session.

1

Open profile settings

Run Terminal: Select Default Profile from the Command Palette to see what was found, or Terminal: Configure Terminal Settings to define your own.

2

Set per-platform defaults

Profiles are keyed by platform (terminal.integrated.defaultProfile.windows, .osx, .linux). A settings file you sync across machines can name a different default shell for each one.

3

Pick a profile per terminal

The + dropdown in the terminal tab bar opens one profile for that terminal only. Your overall default stays as it is.

Terminal appearance

You can set the terminal font, cursor, and colors apart from the editor. Search terminal.integrated.fontFamily and terminal.integrated.fontSize in Settings. Leave them unset if you want the terminal to use the editor's font.