DocsConfiguration
View as Markdown

Configure Terminal

Customize the integrated terminal settings

Choosing a Backend#

Agentastic offers four terminal backends. Pick one in Settings (Cmd+,) → TerminalTerminal Emulator.

Ghostty provides GPU-accelerated (Metal) rendering for smooth performance.

WezTerm#

GPU-accelerated, OpenGL-rendered emulator with font ligatures (HarfBuzz).

xterm.js#

WebGL-accelerated backend that runs in a WebView, with clickable URL detection and theme sync.

SwiftTerm#

A pure Swift implementation that works as a reliable fallback on all systems.

Shell Configuration#

Changing the Default Shell#

  1. Open Settings (Cmd+,)
  2. Go to Terminal
  3. Under Shell, choose:
    • System Default - Uses your login shell
    • Bash - GNU Bash
    • Zsh - Z Shell
    • Custom - Enter a custom shell path

Custom Shell Path#

For a custom shell (like Fish):

  1. Select Custom under Shell
  2. Enter the path: /opt/homebrew/bin/fish or /usr/local/bin/fish

Appearance Settings#

Font#

  1. Open Settings > Terminal
  2. Click Font to open the font picker
  3. Choose a monospace font (SF Mono, Menlo, etc.)

Tip: For Powerline glyphs, use a Nerd Font like "FiraCode Nerd Font"

Font Size#

Adjust the font size slider or enter a specific point size.

Cursor Style#

Choose from three cursor styles:

  • Block - Solid rectangle (default)
  • Underline - Horizontal line under character
  • Bar - Vertical line before character

Toggle cursor blinking on or off based on preference.

Option as Meta Key#

For terminal applications like Emacs that use the Meta key:

  1. Open Settings > Terminal
  2. Enable Option as Meta Key

Now the Option key acts as Meta instead of inserting special characters.

Color Themes#

The terminal inherits colors from the editor theme. To change:

  1. Open Settings > Theme
  2. Select a different theme
  3. The terminal colors update automatically

Working Directory#

New terminals open in:

  • The workspace root if a project is open
  • Your home directory otherwise

Environment Variables#

The terminal inherits your shell's environment. To add variables:

  1. Add them to your shell profile (.zshrc, .bashrc, etc.)
  2. Restart the terminal or reload your profile