[{"data":1,"prerenderedAt":516},["ShallowReactive",2],{"doc-features\u002Fpragma-download-install":3,"content-query-bGrdfR40cM":4},null,{"_path":5,"_dir":6,"_draft":7,"_partial":7,"_locale":8,"title":9,"description":10,"body":11,"_type":510,"_id":511,"_source":512,"_file":513,"_stem":514,"_extension":515},"\u002Fdocs\u002Ffeatures\u002Fpragma-download-install","features",false,"","Pragma Download & Install","Install Pragma IDE on macOS, Windows, or Linux and understand which installer to choose.",{"type":12,"children":13,"toc":502},"root",[14,22,39,45,50,70,75,80,94,101,106,207,213,259,264,270,275,309,314,319,325,330,383,402,408,413,441,446,452,457,491,496],{"type":15,"tag":16,"props":17,"children":19},"element","h1",{"id":18},"pragma-download-install",[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-download.svg",128,72,[],{"type":15,"tag":40,"props":41,"children":42},"p",{},[43],{"type":21,"value":44},"Pragma is the native desktop IDE for CredVault. Users install it on their own computer, sign in with a CredVault account, and then use the local terminal, editor, AI agent, Drive, secrets, and remote development tools from one app.",{"type":15,"tag":40,"props":46,"children":47},{},[48],{"type":21,"value":49},"The download page is available at:",{"type":15,"tag":51,"props":52,"children":55},"pre",{"className":53,"code":54,"language":21,"meta":8,"style":8},"language-text shiki shiki-themes github-dark","\u002Fdownload\n",[56],{"type":15,"tag":57,"props":58,"children":59},"code",{"__ignoreMap":8},[60],{"type":15,"tag":61,"props":62,"children":65},"span",{"class":63,"line":64},"line",1,[66],{"type":15,"tag":61,"props":67,"children":68},{},[69],{"type":21,"value":54},{"type":15,"tag":40,"props":71,"children":72},{},[73],{"type":21,"value":74},"The download page is public. Users do not need a CLI command just to reach it.",{"type":15,"tag":40,"props":76,"children":77},{},[78],{"type":21,"value":79},"The product page is available at:",{"type":15,"tag":51,"props":81,"children":83},{"className":53,"code":82,"language":21,"meta":8,"style":8},"\u002Fpragma\n",[84],{"type":15,"tag":57,"props":85,"children":86},{"__ignoreMap":8},[87],{"type":15,"tag":61,"props":88,"children":89},{"class":63,"line":64},[90],{"type":15,"tag":61,"props":91,"children":92},{},[93],{"type":21,"value":82},{"type":15,"tag":95,"props":96,"children":98},"h2",{"id":97},"supported-operating-systems",[99],{"type":21,"value":100},"Supported Operating Systems",{"type":15,"tag":40,"props":102,"children":103},{},[104],{"type":21,"value":105},"Pragma is prepared for the three major desktop operating systems:",{"type":15,"tag":107,"props":108,"children":109},"table",{},[110,134],{"type":15,"tag":111,"props":112,"children":113},"thead",{},[114],{"type":15,"tag":115,"props":116,"children":117},"tr",{},[118,124,129],{"type":15,"tag":119,"props":120,"children":121},"th",{},[122],{"type":21,"value":123},"OS",{"type":15,"tag":119,"props":125,"children":126},{},[127],{"type":21,"value":128},"Typical installer",{"type":15,"tag":119,"props":130,"children":131},{},[132],{"type":21,"value":133},"Who should use it",{"type":15,"tag":135,"props":136,"children":137},"tbody",{},[138,161,183],{"type":15,"tag":115,"props":139,"children":140},{},[141,147,156],{"type":15,"tag":142,"props":143,"children":144},"td",{},[145],{"type":21,"value":146},"macOS",{"type":15,"tag":142,"props":148,"children":149},{},[150],{"type":15,"tag":57,"props":151,"children":153},{"className":152},[],[154],{"type":21,"value":155},".dmg",{"type":15,"tag":142,"props":157,"children":158},{},[159],{"type":21,"value":160},"MacBook, iMac, Mac mini, Apple Silicon, or Intel Mac users",{"type":15,"tag":115,"props":162,"children":163},{},[164,169,178],{"type":15,"tag":142,"props":165,"children":166},{},[167],{"type":21,"value":168},"Windows",{"type":15,"tag":142,"props":170,"children":171},{},[172],{"type":15,"tag":57,"props":173,"children":175},{"className":174},[],[176],{"type":21,"value":177},".exe",{"type":15,"tag":142,"props":179,"children":180},{},[181],{"type":21,"value":182},"Windows 10 and Windows 11 users",{"type":15,"tag":115,"props":184,"children":185},{},[186,191,202],{"type":15,"tag":142,"props":187,"children":188},{},[189],{"type":21,"value":190},"Linux",{"type":15,"tag":142,"props":192,"children":193},{},[194,196],{"type":21,"value":195},"x86_64 ",{"type":15,"tag":57,"props":197,"children":199},{"className":198},[],[200],{"type":21,"value":201},".AppImage",{"type":15,"tag":142,"props":203,"children":204},{},[205],{"type":21,"value":206},"64-bit x86 Linux systems with AppImage support",{"type":15,"tag":95,"props":208,"children":210},{"id":209},"macos-install",[211],{"type":21,"value":212},"macOS Install",{"type":15,"tag":214,"props":215,"children":216},"ol",{},[217,232,244,254],{"type":15,"tag":218,"props":219,"children":220},"li",{},[221,223,230],{"type":21,"value":222},"Download the Pragma DMG from the ",{"type":15,"tag":224,"props":225,"children":227},"a",{"href":226},"\u002Fdownload?os=macos",[228],{"type":21,"value":229},"Pragma download page",{"type":21,"value":231},".",{"type":15,"tag":218,"props":233,"children":234},{},[235,237,243],{"type":21,"value":236},"Open the DMG and drag Pragma into ",{"type":15,"tag":238,"props":239,"children":240},"strong",{},[241],{"type":21,"value":242},"Applications",{"type":21,"value":231},{"type":15,"tag":218,"props":245,"children":246},{},[247,249,253],{"type":21,"value":248},"Eject the disk image, then open Pragma from ",{"type":15,"tag":238,"props":250,"children":251},{},[252],{"type":21,"value":242},{"type":21,"value":231},{"type":15,"tag":218,"props":255,"children":256},{},[257],{"type":21,"value":258},"Sign in with your CredVault account.",{"type":15,"tag":40,"props":260,"children":261},{},[262],{"type":21,"value":263},"If macOS blocks the app with a security warning, do not bypass the warning. Contact CredVault support.",{"type":15,"tag":95,"props":265,"children":267},{"id":266},"windows-install",[268],{"type":21,"value":269},"Windows Install",{"type":15,"tag":40,"props":271,"children":272},{},[273],{"type":21,"value":274},"The Windows build is distributed as an installer.",{"type":15,"tag":214,"props":276,"children":277},{},[278,289,294,299,304],{"type":15,"tag":218,"props":279,"children":280},{},[281,283,288],{"type":21,"value":282},"Download the ",{"type":15,"tag":57,"props":284,"children":286},{"className":285},[],[287],{"type":21,"value":177},{"type":21,"value":231},{"type":15,"tag":218,"props":290,"children":291},{},[292],{"type":21,"value":293},"Run the installer.",{"type":15,"tag":218,"props":295,"children":296},{},[297],{"type":21,"value":298},"Follow the install steps.",{"type":15,"tag":218,"props":300,"children":301},{},[302],{"type":21,"value":303},"Open Pragma from the Start Menu or desktop shortcut.",{"type":15,"tag":218,"props":305,"children":306},{},[307],{"type":21,"value":308},"Sign in with the user's CredVault account.",{"type":15,"tag":40,"props":310,"children":311},{},[312],{"type":21,"value":313},"Windows users may see a security prompt if the installer is not signed. For production distribution, the installer should be code-signed so SmartScreen can build trust for the app.",{"type":15,"tag":40,"props":315,"children":316},{},[317],{"type":21,"value":318},"No command-line step is required for Windows installation.",{"type":15,"tag":95,"props":320,"children":322},{"id":321},"linux-install",[323],{"type":21,"value":324},"Linux Install",{"type":15,"tag":40,"props":326,"children":327},{},[328],{"type":21,"value":329},"The current Linux download is an x86_64 AppImage. It is a single portable app file; no system installation or administrator permission is required.",{"type":15,"tag":51,"props":331,"children":335},{"className":332,"code":333,"language":334,"meta":8,"style":8},"language-bash shiki shiki-themes github-dark","cd ~\u002FDownloads\nchmod +x .\u002FPragma-x86_64.AppImage\n.\u002FPragma-x86_64.AppImage\n","bash",[336],{"type":15,"tag":57,"props":337,"children":338},{"__ignoreMap":8},[339,354,374],{"type":15,"tag":61,"props":340,"children":341},{"class":63,"line":64},[342,348],{"type":15,"tag":61,"props":343,"children":345},{"style":344},"--shiki-default:#79B8FF",[346],{"type":21,"value":347},"cd",{"type":15,"tag":61,"props":349,"children":351},{"style":350},"--shiki-default:#9ECBFF",[352],{"type":21,"value":353}," ~\u002FDownloads\n",{"type":15,"tag":61,"props":355,"children":357},{"class":63,"line":356},2,[358,364,369],{"type":15,"tag":61,"props":359,"children":361},{"style":360},"--shiki-default:#B392F0",[362],{"type":21,"value":363},"chmod",{"type":15,"tag":61,"props":365,"children":366},{"style":350},[367],{"type":21,"value":368}," +x",{"type":15,"tag":61,"props":370,"children":371},{"style":350},[372],{"type":21,"value":373}," .\u002FPragma-x86_64.AppImage\n",{"type":15,"tag":61,"props":375,"children":377},{"class":63,"line":376},3,[378],{"type":15,"tag":61,"props":379,"children":380},{"style":360},[381],{"type":21,"value":382},".\u002FPragma-x86_64.AppImage\n",{"type":15,"tag":40,"props":384,"children":385},{},[386,388,393,395,400],{"type":21,"value":387},"In a file manager, users can also open the file's ",{"type":15,"tag":238,"props":389,"children":390},{},[391],{"type":21,"value":392},"Properties",{"type":21,"value":394},", enable ",{"type":15,"tag":238,"props":396,"children":397},{},[398],{"type":21,"value":399},"Allow executing file as program",{"type":21,"value":401},", and double-click it. Some Linux distributions may require FUSE support. The current public release does not provide Debian or RPM packages.",{"type":15,"tag":95,"props":403,"children":405},{"id":404},"first-launch",[406],{"type":21,"value":407},"First Launch",{"type":15,"tag":40,"props":409,"children":410},{},[411],{"type":21,"value":412},"On first launch, Pragma should guide the user through:",{"type":15,"tag":214,"props":414,"children":415},{},[416,421,426,431,436],{"type":15,"tag":218,"props":417,"children":418},{},[419],{"type":21,"value":420},"Sign in or account connection.",{"type":15,"tag":218,"props":422,"children":423},{},[424],{"type":21,"value":425},"Default AI model choice.",{"type":15,"tag":218,"props":427,"children":428},{},[429],{"type":21,"value":430},"Agent autonomy level.",{"type":15,"tag":218,"props":432,"children":433},{},[434],{"type":21,"value":435},"Terminal and editor layout.",{"type":15,"tag":218,"props":437,"children":438},{},[439],{"type":21,"value":440},"Optional Drive, secrets, and remote server setup.",{"type":15,"tag":40,"props":442,"children":443},{},[444],{"type":21,"value":445},"After this, the user lands inside the IDE with terminal, editor, AI tools, and account-connected features available.",{"type":15,"tag":95,"props":447,"children":449},{"id":448},"what-the-download-must-include",[450],{"type":21,"value":451},"What The Download Must Include",{"type":15,"tag":40,"props":453,"children":454},{},[455],{"type":21,"value":456},"Each release should include:",{"type":15,"tag":458,"props":459,"children":460},"ul",{},[461,466,471,476,481,486],{"type":15,"tag":218,"props":462,"children":463},{},[464],{"type":21,"value":465},"macOS installer.",{"type":15,"tag":218,"props":467,"children":468},{},[469],{"type":21,"value":470},"Windows installer.",{"type":15,"tag":218,"props":472,"children":473},{},[474],{"type":21,"value":475},"Linux AppImage.",{"type":15,"tag":218,"props":477,"children":478},{},[479],{"type":21,"value":480},"Version number.",{"type":15,"tag":218,"props":482,"children":483},{},[484],{"type":21,"value":485},"Release notes.",{"type":15,"tag":218,"props":487,"children":488},{},[489],{"type":21,"value":490},"Checksums.",{"type":15,"tag":40,"props":492,"children":493},{},[494],{"type":21,"value":495},"Checksums help users and admins verify that downloaded files were not changed after release.",{"type":15,"tag":497,"props":498,"children":499},"style",{},[500],{"type":21,"value":501},"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":356,"depth":356,"links":503},[504,505,506,507,508,509],{"id":97,"depth":356,"text":100},{"id":209,"depth":356,"text":212},{"id":266,"depth":356,"text":269},{"id":321,"depth":356,"text":324},{"id":404,"depth":356,"text":407},{"id":448,"depth":356,"text":451},"markdown","content:docs:features:pragma-download-install.md","content","docs\u002Ffeatures\u002Fpragma-download-install.md","docs\u002Ffeatures\u002Fpragma-download-install","md",1794695987123]