[{"data":1,"prerenderedAt":156},["ShallowReactive",2],{"doc-features\u002Fpragma-remote-ssh":3,"content-query-50jFQL5iGn":4},null,{"_path":5,"_dir":6,"_draft":7,"_partial":7,"_locale":8,"title":9,"description":10,"body":11,"_type":150,"_id":151,"_source":152,"_file":153,"_stem":154,"_extension":155},"\u002Fdocs\u002Ffeatures\u002Fpragma-remote-ssh","features",false,"","Pragma Remote & SSH","Connect Pragma to remote machines, SSH sessions, WSL environments, and server-side development workflows.",{"type":12,"children":13,"toc":142},"root",[14,22,28,33,40,45,75,81,86,109,115,120,126,131,137],{"type":15,"tag":16,"props":17,"children":19},"element","h1",{"id":18},"pragma-remote-ssh",[20],{"type":21,"value":9},"text",{"type":15,"tag":23,"props":24,"children":25},"p",{},[26],{"type":21,"value":27},"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.",{"type":15,"tag":23,"props":29,"children":30},{},[31],{"type":21,"value":32},"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.",{"type":15,"tag":34,"props":35,"children":37},"h2",{"id":36},"what-remote-development-means",[38],{"type":21,"value":39},"What Remote Development Means",{"type":15,"tag":23,"props":41,"children":42},{},[43],{"type":21,"value":44},"Remote development lets a user:",{"type":15,"tag":46,"props":47,"children":48},"ul",{},[49,55,60,65,70],{"type":15,"tag":50,"props":51,"children":52},"li",{},[53],{"type":21,"value":54},"Keep source code on a server.",{"type":15,"tag":50,"props":56,"children":57},{},[58],{"type":21,"value":59},"Run commands on that server.",{"type":15,"tag":50,"props":61,"children":62},{},[63],{"type":21,"value":64},"Edit server files from Pragma.",{"type":15,"tag":50,"props":66,"children":67},{},[68],{"type":21,"value":69},"Use AI help with remote context.",{"type":15,"tag":50,"props":71,"children":72},{},[73],{"type":21,"value":74},"Work with more compute than their laptop has.",{"type":15,"tag":34,"props":76,"children":78},{"id":77},"ssh",[79],{"type":21,"value":80},"SSH",{"type":15,"tag":23,"props":82,"children":83},{},[84],{"type":21,"value":85},"SSH is used to connect to remote Linux or Unix-like machines. Users usually need:",{"type":15,"tag":46,"props":87,"children":88},{},[89,94,99,104],{"type":15,"tag":50,"props":90,"children":91},{},[92],{"type":21,"value":93},"Hostname or IP address.",{"type":15,"tag":50,"props":95,"children":96},{},[97],{"type":21,"value":98},"Username.",{"type":15,"tag":50,"props":100,"children":101},{},[102],{"type":21,"value":103},"SSH key or password.",{"type":15,"tag":50,"props":105,"children":106},{},[107],{"type":21,"value":108},"Network access to the server.",{"type":15,"tag":34,"props":110,"children":112},{"id":111},"wsl-on-windows",[113],{"type":21,"value":114},"WSL On Windows",{"type":15,"tag":23,"props":116,"children":117},{},[118],{"type":21,"value":119},"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.",{"type":15,"tag":34,"props":121,"children":123},{"id":122},"remote-terminal",[124],{"type":21,"value":125},"Remote Terminal",{"type":15,"tag":23,"props":127,"children":128},{},[129],{"type":21,"value":130},"Remote terminal sessions should behave like normal terminal sessions, but commands execute on the connected machine.",{"type":15,"tag":34,"props":132,"children":134},{"id":133},"security",[135],{"type":21,"value":136},"Security",{"type":15,"tag":23,"props":138,"children":139},{},[140],{"type":21,"value":141},"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.",{"title":8,"searchDepth":143,"depth":143,"links":144},2,[145,146,147,148,149],{"id":36,"depth":143,"text":39},{"id":77,"depth":143,"text":80},{"id":111,"depth":143,"text":114},{"id":122,"depth":143,"text":125},{"id":133,"depth":143,"text":136},"markdown","content:docs:features:pragma-remote-ssh.md","content","docs\u002Ffeatures\u002Fpragma-remote-ssh.md","docs\u002Ffeatures\u002Fpragma-remote-ssh","md",1786114917806]