[{"data":1,"prerenderedAt":173},["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":167,"_id":168,"_source":169,"_file":170,"_stem":171,"_extension":172},"\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":159},"root",[14,22,39,45,50,57,62,92,98,103,126,132,137,143,148,154],{"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":29},"div",{"className":25,"ariaHidden":28},[26,27],"docs-page-hero","docs-page-hero--clay","true",[30,32],{"type":21,"value":31},"\n  ",{"type":15,"tag":33,"props":34,"children":38},"img",{"src":35,"alt":8,"width":36,"height":37},"\u002Fimages\u002Fdocs-illustrations\u002Fpragma-remote.svg",128,72,[],{"type":15,"tag":40,"props":41,"children":42},"p",{},[43],{"type":21,"value":44},"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":40,"props":46,"children":47},{},[48],{"type":21,"value":49},"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":51,"props":52,"children":54},"h2",{"id":53},"what-remote-development-means",[55],{"type":21,"value":56},"What Remote Development Means",{"type":15,"tag":40,"props":58,"children":59},{},[60],{"type":21,"value":61},"Remote development lets a user:",{"type":15,"tag":63,"props":64,"children":65},"ul",{},[66,72,77,82,87],{"type":15,"tag":67,"props":68,"children":69},"li",{},[70],{"type":21,"value":71},"Keep source code on a server.",{"type":15,"tag":67,"props":73,"children":74},{},[75],{"type":21,"value":76},"Run commands on that server.",{"type":15,"tag":67,"props":78,"children":79},{},[80],{"type":21,"value":81},"Edit server files from Pragma.",{"type":15,"tag":67,"props":83,"children":84},{},[85],{"type":21,"value":86},"Use AI help with remote context.",{"type":15,"tag":67,"props":88,"children":89},{},[90],{"type":21,"value":91},"Work with more compute than their laptop has.",{"type":15,"tag":51,"props":93,"children":95},{"id":94},"ssh",[96],{"type":21,"value":97},"SSH",{"type":15,"tag":40,"props":99,"children":100},{},[101],{"type":21,"value":102},"SSH is used to connect to remote Linux or Unix-like machines. Users usually need:",{"type":15,"tag":63,"props":104,"children":105},{},[106,111,116,121],{"type":15,"tag":67,"props":107,"children":108},{},[109],{"type":21,"value":110},"Hostname or IP address.",{"type":15,"tag":67,"props":112,"children":113},{},[114],{"type":21,"value":115},"Username.",{"type":15,"tag":67,"props":117,"children":118},{},[119],{"type":21,"value":120},"SSH key or password.",{"type":15,"tag":67,"props":122,"children":123},{},[124],{"type":21,"value":125},"Network access to the server.",{"type":15,"tag":51,"props":127,"children":129},{"id":128},"wsl-on-windows",[130],{"type":21,"value":131},"WSL On Windows",{"type":15,"tag":40,"props":133,"children":134},{},[135],{"type":21,"value":136},"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":51,"props":138,"children":140},{"id":139},"remote-terminal",[141],{"type":21,"value":142},"Remote Terminal",{"type":15,"tag":40,"props":144,"children":145},{},[146],{"type":21,"value":147},"Remote terminal sessions should behave like normal terminal sessions, but commands execute on the connected machine.",{"type":15,"tag":51,"props":149,"children":151},{"id":150},"security",[152],{"type":21,"value":153},"Security",{"type":15,"tag":40,"props":155,"children":156},{},[157],{"type":21,"value":158},"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":160,"depth":160,"links":161},2,[162,163,164,165,166],{"id":53,"depth":160,"text":56},{"id":94,"depth":160,"text":97},{"id":128,"depth":160,"text":131},{"id":139,"depth":160,"text":142},{"id":150,"depth":160,"text":153},"markdown","content:docs:features:pragma-remote-ssh.md","content","docs\u002Ffeatures\u002Fpragma-remote-ssh.md","docs\u002Ffeatures\u002Fpragma-remote-ssh","md",1794695987591]