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.
History And Search
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:
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.