Pragma Terminal

Pragma is terminal-first. The terminal is not a small embedded console; it is one of the main surfaces of the app.

Users can use it for normal local development, remote work, AI-assisted commands, and project troubleshooting without leaving Pragma.

Supported Shells

Users can work with common local shells:

  • Bash.
  • Zsh.
  • Fish.
  • PowerShell.
  • NuShell.
  • WSL shells on Windows.

The exact shell depends on the user's operating system and installed tools.

Tabs And Panes

Users can organize work with:

  • Multiple terminal tabs.
  • Split panes.
  • Local and remote sessions.
  • Project-specific working directories.
  • Reusable layouts.

This is useful when one pane runs the app, another runs tests, and another is used for Git or deployment commands.

The terminal keeps useful command context:

  • Recent commands.
  • Searchable history.
  • Project-specific history.
  • Command correction support through Pragma Input.

AI-Aware Terminal

The terminal connects with Pragma Input and the AI agent. A user can type a normal command, or describe what they want in natural language and let Pragma suggest a command.

Example:

Example
find where the auth token is saved

Pragma can turn that intention into a shell command, search task, or agent request depending on context.

Remote Terminal

Pragma supports remote terminal workflows through SSH and remote server tools. This lets users work on a server while still using the Pragma editor, AI agent, and terminal UI locally.

Windows WSL

On Windows, WSL support lets a developer use Linux development tools while still running Pragma as a Windows desktop app.