[{"data":1,"prerenderedAt":769},["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":763,"_id":764,"_source":765,"_file":766,"_stem":767,"_extension":768},"\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":747},"root",[14,22,28,33,53,58,63,77,84,89,190,196,201,246,251,257,262,294,299,304,310,315,322,371,376,397,403,408,414,498,504,565,571,647,653,658,686,691,697,702,736,741],{"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":25},"p",{},[26],{"type":21,"value":27},"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":23,"props":29,"children":30},{},[31],{"type":21,"value":32},"The download page is available at:",{"type":15,"tag":34,"props":35,"children":38},"pre",{"className":36,"code":37,"language":21,"meta":8,"style":8},"language-text shiki shiki-themes github-dark","\u002Fdownload\n",[39],{"type":15,"tag":40,"props":41,"children":42},"code",{"__ignoreMap":8},[43],{"type":15,"tag":44,"props":45,"children":48},"span",{"class":46,"line":47},"line",1,[49],{"type":15,"tag":44,"props":50,"children":51},{},[52],{"type":21,"value":37},{"type":15,"tag":23,"props":54,"children":55},{},[56],{"type":21,"value":57},"The download page is public. Users do not need a CLI command just to reach it.",{"type":15,"tag":23,"props":59,"children":60},{},[61],{"type":21,"value":62},"The product page is available at:",{"type":15,"tag":34,"props":64,"children":66},{"className":36,"code":65,"language":21,"meta":8,"style":8},"\u002Fpragma\n",[67],{"type":15,"tag":40,"props":68,"children":69},{"__ignoreMap":8},[70],{"type":15,"tag":44,"props":71,"children":72},{"class":46,"line":47},[73],{"type":15,"tag":44,"props":74,"children":75},{},[76],{"type":21,"value":65},{"type":15,"tag":78,"props":79,"children":81},"h2",{"id":80},"supported-operating-systems",[82],{"type":21,"value":83},"Supported Operating Systems",{"type":15,"tag":23,"props":85,"children":86},{},[87],{"type":21,"value":88},"Pragma is prepared for the three major desktop operating systems:",{"type":15,"tag":90,"props":91,"children":92},"table",{},[93,117],{"type":15,"tag":94,"props":95,"children":96},"thead",{},[97],{"type":15,"tag":98,"props":99,"children":100},"tr",{},[101,107,112],{"type":15,"tag":102,"props":103,"children":104},"th",{},[105],{"type":21,"value":106},"OS",{"type":15,"tag":102,"props":108,"children":109},{},[110],{"type":21,"value":111},"Typical installer",{"type":15,"tag":102,"props":113,"children":114},{},[115],{"type":21,"value":116},"Who should use it",{"type":15,"tag":118,"props":119,"children":120},"tbody",{},[121,144,166],{"type":15,"tag":98,"props":122,"children":123},{},[124,130,139],{"type":15,"tag":125,"props":126,"children":127},"td",{},[128],{"type":21,"value":129},"macOS",{"type":15,"tag":125,"props":131,"children":132},{},[133],{"type":15,"tag":40,"props":134,"children":136},{"className":135},[],[137],{"type":21,"value":138},".dmg",{"type":15,"tag":125,"props":140,"children":141},{},[142],{"type":21,"value":143},"MacBook, iMac, Mac mini, Apple Silicon, or Intel Mac users",{"type":15,"tag":98,"props":145,"children":146},{},[147,152,161],{"type":15,"tag":125,"props":148,"children":149},{},[150],{"type":21,"value":151},"Windows",{"type":15,"tag":125,"props":153,"children":154},{},[155],{"type":15,"tag":40,"props":156,"children":158},{"className":157},[],[159],{"type":21,"value":160},".exe",{"type":15,"tag":125,"props":162,"children":163},{},[164],{"type":21,"value":165},"Windows 10 and Windows 11 users",{"type":15,"tag":98,"props":167,"children":168},{},[169,174,185],{"type":15,"tag":125,"props":170,"children":171},{},[172],{"type":21,"value":173},"Linux",{"type":15,"tag":125,"props":175,"children":176},{},[177,183],{"type":15,"tag":40,"props":178,"children":180},{"className":179},[],[181],{"type":21,"value":182},".AppImage",{"type":21,"value":184}," now, package formats later",{"type":15,"tag":125,"props":186,"children":187},{},[188],{"type":21,"value":189},"Ubuntu, Debian, Fedora, RHEL, Arch, and other Linux users",{"type":15,"tag":78,"props":191,"children":193},{"id":192},"macos-install",[194],{"type":21,"value":195},"macOS Install",{"type":15,"tag":23,"props":197,"children":198},{},[199],{"type":21,"value":200},"The macOS build is distributed as a disk image.",{"type":15,"tag":202,"props":203,"children":204},"ol",{},[205,218,223,236,241],{"type":15,"tag":206,"props":207,"children":208},"li",{},[209,211,216],{"type":21,"value":210},"Download the ",{"type":15,"tag":40,"props":212,"children":214},{"className":213},[],[215],{"type":21,"value":138},{"type":21,"value":217}," file.",{"type":15,"tag":206,"props":219,"children":220},{},[221],{"type":21,"value":222},"Open it.",{"type":15,"tag":206,"props":224,"children":225},{},[226,228,234],{"type":21,"value":227},"Drag Pragma into ",{"type":15,"tag":40,"props":229,"children":231},{"className":230},[],[232],{"type":21,"value":233},"Applications",{"type":21,"value":235},".",{"type":15,"tag":206,"props":237,"children":238},{},[239],{"type":21,"value":240},"Open Pragma.",{"type":15,"tag":206,"props":242,"children":243},{},[244],{"type":21,"value":245},"Sign in with the user's CredVault account.",{"type":15,"tag":23,"props":247,"children":248},{},[249],{"type":21,"value":250},"If macOS warns that the app came from the internet, the user should open it from Finder and approve the prompt. For production distribution, the app should be signed and notarized so macOS trusts it cleanly.",{"type":15,"tag":78,"props":252,"children":254},{"id":253},"windows-install",[255],{"type":21,"value":256},"Windows Install",{"type":15,"tag":23,"props":258,"children":259},{},[260],{"type":21,"value":261},"The Windows build is distributed as an installer.",{"type":15,"tag":202,"props":263,"children":264},{},[265,275,280,285,290],{"type":15,"tag":206,"props":266,"children":267},{},[268,269,274],{"type":21,"value":210},{"type":15,"tag":40,"props":270,"children":272},{"className":271},[],[273],{"type":21,"value":160},{"type":21,"value":235},{"type":15,"tag":206,"props":276,"children":277},{},[278],{"type":21,"value":279},"Run the installer.",{"type":15,"tag":206,"props":281,"children":282},{},[283],{"type":21,"value":284},"Follow the install steps.",{"type":15,"tag":206,"props":286,"children":287},{},[288],{"type":21,"value":289},"Open Pragma from the Start Menu or desktop shortcut.",{"type":15,"tag":206,"props":291,"children":292},{},[293],{"type":21,"value":245},{"type":15,"tag":23,"props":295,"children":296},{},[297],{"type":21,"value":298},"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":23,"props":300,"children":301},{},[302],{"type":21,"value":303},"No command-line step is required for Windows installation.",{"type":15,"tag":78,"props":305,"children":307},{"id":306},"linux-install",[308],{"type":21,"value":309},"Linux Install",{"type":15,"tag":23,"props":311,"children":312},{},[313],{"type":21,"value":314},"Linux users should use the public AppImage release we publish today.",{"type":15,"tag":316,"props":317,"children":319},"h3",{"id":318},"universal-linux-appimage",[320],{"type":21,"value":321},"Universal Linux AppImage",{"type":15,"tag":34,"props":323,"children":327},{"className":324,"code":325,"language":326,"meta":8,"style":8},"language-bash shiki shiki-themes github-dark","chmod +x Pragma-*.AppImage\n.\u002FPragma-*.AppImage\n","bash",[328],{"type":15,"tag":40,"props":329,"children":330},{"__ignoreMap":8},[331,362],{"type":15,"tag":44,"props":332,"children":333},{"class":46,"line":47},[334,340,346,351,357],{"type":15,"tag":44,"props":335,"children":337},{"style":336},"--shiki-default:#B392F0",[338],{"type":21,"value":339},"chmod",{"type":15,"tag":44,"props":341,"children":343},{"style":342},"--shiki-default:#9ECBFF",[344],{"type":21,"value":345}," +x",{"type":15,"tag":44,"props":347,"children":348},{"style":342},[349],{"type":21,"value":350}," Pragma-",{"type":15,"tag":44,"props":352,"children":354},{"style":353},"--shiki-default:#79B8FF",[355],{"type":21,"value":356},"*",{"type":15,"tag":44,"props":358,"children":359},{"style":342},[360],{"type":21,"value":361},".AppImage\n",{"type":15,"tag":44,"props":363,"children":365},{"class":46,"line":364},2,[366],{"type":15,"tag":44,"props":367,"children":368},{"style":336},[369],{"type":21,"value":370},".\u002FPragma-*.AppImage\n",{"type":15,"tag":23,"props":372,"children":373},{},[374],{"type":21,"value":375},"The AppImage is useful when the user does not want a system install or when their distribution does not match a package-manager install.",{"type":15,"tag":23,"props":377,"children":378},{},[379,381,387,389,395],{"type":21,"value":380},"If we publish ",{"type":15,"tag":40,"props":382,"children":384},{"className":383},[],[385],{"type":21,"value":386},".deb",{"type":21,"value":388}," or ",{"type":15,"tag":40,"props":390,"children":392},{"className":391},[],[393],{"type":21,"value":394},".rpm",{"type":21,"value":396}," later, those will be linked from the same public download page.",{"type":15,"tag":78,"props":398,"children":400},{"id":399},"running-without-system-installation-portable-mode",[401],{"type":21,"value":402},"Running Without System Installation (Portable Mode)",{"type":15,"tag":23,"props":404,"children":405},{},[406],{"type":21,"value":407},"If users cannot or prefer not to run system installers (for example, if they lack Administrator permissions), they can still execute Pragma directly while preserving the application icon.",{"type":15,"tag":316,"props":409,"children":411},{"id":410},"windows-portable-extraction",[412],{"type":21,"value":413},"Windows (Portable Extraction)",{"type":15,"tag":202,"props":415,"children":416},{},[417,450,468],{"type":15,"tag":206,"props":418,"children":419},{},[420,426,428,433,435,441,443,448],{"type":15,"tag":421,"props":422,"children":423},"strong",{},[424],{"type":21,"value":425},"Extract Files",{"type":21,"value":427},": The Windows ",{"type":15,"tag":40,"props":429,"children":431},{"className":430},[],[432],{"type":21,"value":160},{"type":21,"value":434}," installer is built with Inno Setup and can be unpacked without execution. Right-click ",{"type":15,"tag":40,"props":436,"children":438},{"className":437},[],[439],{"type":21,"value":440},"PragmaSetup.exe",{"type":21,"value":442},", select ",{"type":15,"tag":421,"props":444,"children":445},{},[446],{"type":21,"value":447},"7-Zip",{"type":21,"value":449}," (or a similar archive utility), and extract the package.",{"type":15,"tag":206,"props":451,"children":452},{},[453,458,460,466],{"type":15,"tag":421,"props":454,"children":455},{},[456],{"type":21,"value":457},"Execute directly",{"type":21,"value":459},": Open the extracted directory and run the main ",{"type":15,"tag":40,"props":461,"children":463},{"className":462},[],[464],{"type":21,"value":465},"pragma.exe",{"type":21,"value":467}," binary.",{"type":15,"tag":206,"props":469,"children":470},{},[471,476,478,483,485,490,492,497],{"type":15,"tag":421,"props":472,"children":473},{},[474],{"type":21,"value":475},"Application Icon",{"type":21,"value":477},": The icon is embedded directly inside the ",{"type":15,"tag":40,"props":479,"children":481},{"className":480},[],[482],{"type":21,"value":465},{"type":21,"value":484}," executable's resource header. Windows Explorer automatically displays it, and users can create a desktop icon by right-clicking ",{"type":15,"tag":40,"props":486,"children":488},{"className":487},[],[489],{"type":21,"value":465},{"type":21,"value":491}," and choosing ",{"type":15,"tag":421,"props":493,"children":494},{},[495],{"type":21,"value":496},"Send to -> Desktop (create shortcut)",{"type":21,"value":235},{"type":15,"tag":316,"props":499,"children":501},{"id":500},"macos-running-from-mounted-disk-image",[502],{"type":21,"value":503},"macOS (Running from mounted Disk Image)",{"type":15,"tag":202,"props":505,"children":506},{},[507,524,548],{"type":15,"tag":206,"props":508,"children":509},{},[510,515,517,522],{"type":15,"tag":421,"props":511,"children":512},{},[513],{"type":21,"value":514},"Mount DMG",{"type":21,"value":516},": Double-click the downloaded ",{"type":15,"tag":40,"props":518,"children":520},{"className":519},[],[521],{"type":21,"value":138},{"type":21,"value":523}," file to mount it.",{"type":15,"tag":206,"props":525,"children":526},{},[527,531,533,539,541,547],{"type":15,"tag":421,"props":528,"children":529},{},[530],{"type":21,"value":457},{"type":21,"value":532},": Double-click the ",{"type":15,"tag":40,"props":534,"children":536},{"className":535},[],[537],{"type":21,"value":538},"Pragma.app",{"type":21,"value":540}," bundle inside the mounted window. It will run without requiring dragging to ",{"type":15,"tag":40,"props":542,"children":544},{"className":543},[],[545],{"type":21,"value":546},"\u002FApplications",{"type":21,"value":235},{"type":15,"tag":206,"props":549,"children":550},{},[551,555,557,563],{"type":15,"tag":421,"props":552,"children":553},{},[554],{"type":21,"value":475},{"type":21,"value":556},": The icon is bundled inside the app container at ",{"type":15,"tag":40,"props":558,"children":560},{"className":559},[],[561],{"type":21,"value":562},"Pragma.app\u002FContents\u002FResources\u002Fpragma.icns",{"type":21,"value":564},". macOS automatically displays the icon in the Finder and on the Dock when running.",{"type":15,"tag":316,"props":566,"children":568},{"id":567},"linux-appimage-natively-portable",[569],{"type":21,"value":570},"Linux (AppImage Natively Portable)",{"type":15,"tag":202,"props":572,"children":573},{},[574,614,630],{"type":15,"tag":206,"props":575,"children":576},{},[577,582,584],{"type":15,"tag":421,"props":578,"children":579},{},[580],{"type":21,"value":581},"Make Executable",{"type":21,"value":583},": AppImages run without setup. Grant execution rights:\n",{"type":15,"tag":34,"props":585,"children":587},{"className":324,"code":586,"language":326,"meta":8,"style":8},"chmod +x Pragma-*.AppImage\n",[588],{"type":15,"tag":40,"props":589,"children":590},{"__ignoreMap":8},[591],{"type":15,"tag":44,"props":592,"children":593},{"class":46,"line":47},[594,598,602,606,610],{"type":15,"tag":44,"props":595,"children":596},{"style":336},[597],{"type":21,"value":339},{"type":15,"tag":44,"props":599,"children":600},{"style":342},[601],{"type":21,"value":345},{"type":15,"tag":44,"props":603,"children":604},{"style":342},[605],{"type":21,"value":350},{"type":15,"tag":44,"props":607,"children":608},{"style":353},[609],{"type":21,"value":356},{"type":15,"tag":44,"props":611,"children":612},{"style":342},[613],{"type":21,"value":361},{"type":15,"tag":206,"props":615,"children":616},{},[617,621,623,629],{"type":15,"tag":421,"props":618,"children":619},{},[620],{"type":21,"value":457},{"type":21,"value":622},": Run ",{"type":15,"tag":40,"props":624,"children":626},{"className":625},[],[627],{"type":21,"value":628},".\u002FPragma-*.AppImage",{"type":21,"value":235},{"type":15,"tag":206,"props":631,"children":632},{},[633,637,639,645],{"type":15,"tag":421,"props":634,"children":635},{},[636],{"type":21,"value":475},{"type":21,"value":638},": The icon is integrated into the binary. To register a desktop shortcut icon manually, create a launcher file at ",{"type":15,"tag":40,"props":640,"children":642},{"className":641},[],[643],{"type":21,"value":644},"~\u002F.local\u002Fshare\u002Fapplications\u002Fpragma.desktop",{"type":21,"value":646}," pointing to the AppImage executable and its internal icon resources.",{"type":15,"tag":78,"props":648,"children":650},{"id":649},"first-launch",[651],{"type":21,"value":652},"First Launch",{"type":15,"tag":23,"props":654,"children":655},{},[656],{"type":21,"value":657},"On first launch, Pragma should guide the user through:",{"type":15,"tag":202,"props":659,"children":660},{},[661,666,671,676,681],{"type":15,"tag":206,"props":662,"children":663},{},[664],{"type":21,"value":665},"Sign in or account connection.",{"type":15,"tag":206,"props":667,"children":668},{},[669],{"type":21,"value":670},"Default AI model choice.",{"type":15,"tag":206,"props":672,"children":673},{},[674],{"type":21,"value":675},"Agent autonomy level.",{"type":15,"tag":206,"props":677,"children":678},{},[679],{"type":21,"value":680},"Terminal and editor layout.",{"type":15,"tag":206,"props":682,"children":683},{},[684],{"type":21,"value":685},"Optional Drive, secrets, and remote server setup.",{"type":15,"tag":23,"props":687,"children":688},{},[689],{"type":21,"value":690},"After this, the user lands inside the IDE with terminal, editor, AI tools, and account-connected features available.",{"type":15,"tag":78,"props":692,"children":694},{"id":693},"what-the-download-must-include",[695],{"type":21,"value":696},"What The Download Must Include",{"type":15,"tag":23,"props":698,"children":699},{},[700],{"type":21,"value":701},"Each release should include:",{"type":15,"tag":703,"props":704,"children":705},"ul",{},[706,711,716,721,726,731],{"type":15,"tag":206,"props":707,"children":708},{},[709],{"type":21,"value":710},"macOS installer.",{"type":15,"tag":206,"props":712,"children":713},{},[714],{"type":21,"value":715},"Windows installer.",{"type":15,"tag":206,"props":717,"children":718},{},[719],{"type":21,"value":720},"Linux AppImage.",{"type":15,"tag":206,"props":722,"children":723},{},[724],{"type":21,"value":725},"Version number.",{"type":15,"tag":206,"props":727,"children":728},{},[729],{"type":21,"value":730},"Release notes.",{"type":15,"tag":206,"props":732,"children":733},{},[734],{"type":21,"value":735},"Checksums.",{"type":15,"tag":23,"props":737,"children":738},{},[739],{"type":21,"value":740},"Checksums help users and admins verify that downloaded files were not changed after release.",{"type":15,"tag":742,"props":743,"children":744},"style",{},[745],{"type":21,"value":746},"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":364,"depth":364,"links":748},[749,750,751,752,756,761,762],{"id":80,"depth":364,"text":83},{"id":192,"depth":364,"text":195},{"id":253,"depth":364,"text":256},{"id":306,"depth":364,"text":309,"children":753},[754],{"id":318,"depth":755,"text":321},3,{"id":399,"depth":364,"text":402,"children":757},[758,759,760],{"id":410,"depth":755,"text":413},{"id":500,"depth":755,"text":503},{"id":567,"depth":755,"text":570},{"id":649,"depth":364,"text":652},{"id":693,"depth":364,"text":696},"markdown","content:docs:features:pragma-download-install.md","content","docs\u002Ffeatures\u002Fpragma-download-install.md","docs\u002Ffeatures\u002Fpragma-download-install","md",1786114917408]