Pragma Remote & SSH

Pragma supports remote development workflows. Users can connect to a remote machine, work inside terminal sessions, and use editor and agent features with server-side code.

This is useful when the project runs on a server, when a laptop is not powerful enough, or when the user needs Linux tooling from a Windows machine.

What Remote Development Means

Remote development lets a user:

• Keep source code on a server.
• Run commands on that server.
• Edit server files from Pragma.
• Use AI help with remote context.
• Work with more compute than their laptop has.

SSH

SSH is used to connect to remote Linux or Unix-like machines. Users usually need:

• Hostname or IP address.
• Username.
• SSH key or password.
• Network access to the server.

WSL On Windows

Windows users can use WSL for Linux-style development. Pragma can work with WSL terminals so Windows users can run Linux tooling without leaving their desktop app.

Remote Terminal

Remote terminal sessions should behave like normal terminal sessions, but commands execute on the connected machine.

Security

Users should protect SSH keys and avoid sharing credentials. Admins should prefer key-based authentication, least-privilege server accounts, and audit logs for production systems.