[{"data":1,"prerenderedAt":264},["ShallowReactive",2],{"doc-features\u002Fpragma-terminal":3,"content-query-w3n6dKLxIU":4},null,{"_path":5,"_dir":6,"_draft":7,"_partial":7,"_locale":8,"title":9,"description":10,"body":11,"_type":258,"_id":259,"_source":260,"_file":261,"_stem":262,"_extension":263},"\u002Fdocs\u002Ffeatures\u002Fpragma-terminal","features",false,"","Pragma Terminal","Use Pragma's native terminal with tabs, panes, shell history, search, SSH, WSL, and AI-aware input.",{"type":12,"children":13,"toc":249},"root",[14,22,39,45,50,57,62,97,102,108,113,141,146,152,157,180,186,191,196,216,221,227,232,238,243],{"type":15,"tag":16,"props":17,"children":19},"element","h1",{"id":18},"pragma-terminal",[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-terminal.svg",128,72,[],{"type":15,"tag":40,"props":41,"children":42},"p",{},[43],{"type":21,"value":44},"Pragma is terminal-first. The terminal is not a small embedded console; it is one of the main surfaces of the app.",{"type":15,"tag":40,"props":46,"children":47},{},[48],{"type":21,"value":49},"Users can use it for normal local development, remote work, AI-assisted commands, and project troubleshooting without leaving Pragma.",{"type":15,"tag":51,"props":52,"children":54},"h2",{"id":53},"supported-shells",[55],{"type":21,"value":56},"Supported Shells",{"type":15,"tag":40,"props":58,"children":59},{},[60],{"type":21,"value":61},"Users can work with common local shells:",{"type":15,"tag":63,"props":64,"children":65},"ul",{},[66,72,77,82,87,92],{"type":15,"tag":67,"props":68,"children":69},"li",{},[70],{"type":21,"value":71},"Bash.",{"type":15,"tag":67,"props":73,"children":74},{},[75],{"type":21,"value":76},"Zsh.",{"type":15,"tag":67,"props":78,"children":79},{},[80],{"type":21,"value":81},"Fish.",{"type":15,"tag":67,"props":83,"children":84},{},[85],{"type":21,"value":86},"PowerShell.",{"type":15,"tag":67,"props":88,"children":89},{},[90],{"type":21,"value":91},"NuShell.",{"type":15,"tag":67,"props":93,"children":94},{},[95],{"type":21,"value":96},"WSL shells on Windows.",{"type":15,"tag":40,"props":98,"children":99},{},[100],{"type":21,"value":101},"The exact shell depends on the user's operating system and installed tools.",{"type":15,"tag":51,"props":103,"children":105},{"id":104},"tabs-and-panes",[106],{"type":21,"value":107},"Tabs And Panes",{"type":15,"tag":40,"props":109,"children":110},{},[111],{"type":21,"value":112},"Users can organize work with:",{"type":15,"tag":63,"props":114,"children":115},{},[116,121,126,131,136],{"type":15,"tag":67,"props":117,"children":118},{},[119],{"type":21,"value":120},"Multiple terminal tabs.",{"type":15,"tag":67,"props":122,"children":123},{},[124],{"type":21,"value":125},"Split panes.",{"type":15,"tag":67,"props":127,"children":128},{},[129],{"type":21,"value":130},"Local and remote sessions.",{"type":15,"tag":67,"props":132,"children":133},{},[134],{"type":21,"value":135},"Project-specific working directories.",{"type":15,"tag":67,"props":137,"children":138},{},[139],{"type":21,"value":140},"Reusable layouts.",{"type":15,"tag":40,"props":142,"children":143},{},[144],{"type":21,"value":145},"This is useful when one pane runs the app, another runs tests, and another is used for Git or deployment commands.",{"type":15,"tag":51,"props":147,"children":149},{"id":148},"history-and-search",[150],{"type":21,"value":151},"History And Search",{"type":15,"tag":40,"props":153,"children":154},{},[155],{"type":21,"value":156},"The terminal keeps useful command context:",{"type":15,"tag":63,"props":158,"children":159},{},[160,165,170,175],{"type":15,"tag":67,"props":161,"children":162},{},[163],{"type":21,"value":164},"Recent commands.",{"type":15,"tag":67,"props":166,"children":167},{},[168],{"type":21,"value":169},"Searchable history.",{"type":15,"tag":67,"props":171,"children":172},{},[173],{"type":21,"value":174},"Project-specific history.",{"type":15,"tag":67,"props":176,"children":177},{},[178],{"type":21,"value":179},"Command correction support through Pragma Input.",{"type":15,"tag":51,"props":181,"children":183},{"id":182},"ai-aware-terminal",[184],{"type":21,"value":185},"AI-Aware Terminal",{"type":15,"tag":40,"props":187,"children":188},{},[189],{"type":21,"value":190},"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.",{"type":15,"tag":40,"props":192,"children":193},{},[194],{"type":21,"value":195},"Example:",{"type":15,"tag":197,"props":198,"children":201},"pre",{"className":199,"code":200,"language":21,"meta":8,"style":8},"language-text shiki shiki-themes github-dark","find where the auth token is saved\n",[202],{"type":15,"tag":203,"props":204,"children":205},"code",{"__ignoreMap":8},[206],{"type":15,"tag":207,"props":208,"children":211},"span",{"class":209,"line":210},"line",1,[212],{"type":15,"tag":207,"props":213,"children":214},{},[215],{"type":21,"value":200},{"type":15,"tag":40,"props":217,"children":218},{},[219],{"type":21,"value":220},"Pragma can turn that intention into a shell command, search task, or agent request depending on context.",{"type":15,"tag":51,"props":222,"children":224},{"id":223},"remote-terminal",[225],{"type":21,"value":226},"Remote Terminal",{"type":15,"tag":40,"props":228,"children":229},{},[230],{"type":21,"value":231},"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.",{"type":15,"tag":51,"props":233,"children":235},{"id":234},"windows-wsl",[236],{"type":21,"value":237},"Windows WSL",{"type":15,"tag":40,"props":239,"children":240},{},[241],{"type":21,"value":242},"On Windows, WSL support lets a developer use Linux development tools while still running Pragma as a Windows desktop app.",{"type":15,"tag":244,"props":245,"children":246},"style",{},[247],{"type":21,"value":248},"html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}",{"title":8,"searchDepth":250,"depth":250,"links":251},2,[252,253,254,255,256,257],{"id":53,"depth":250,"text":56},{"id":104,"depth":250,"text":107},{"id":148,"depth":250,"text":151},{"id":182,"depth":250,"text":185},{"id":223,"depth":250,"text":226},{"id":234,"depth":250,"text":237},"markdown","content:docs:features:pragma-terminal.md","content","docs\u002Ffeatures\u002Fpragma-terminal.md","docs\u002Ffeatures\u002Fpragma-terminal","md",1794695980453]