Follow-up to the docs-coverage audit of the last 3 months of merged PRs. Supported IDEs should be visible the moment a user opens the docs — a top-level sidebar section, not scattered mentions.
Gaps found:
Plan: new top-level toctree section IDE integration with two mirrored pages — ide/vscode.md (consolidation + pointer to the hardening page) and ide/jetbrains.md (Gateway flow, customizations block, per-stack plugins incl. the Ultimate-gating caveats, overrideCommand:false warning, capabilities, .idea mount) — plus IDE links on the landing page.
Follow-up to the docs-coverage audit of the last 3 months of merged PRs. Supported IDEs should be visible the moment a user opens the docs — a top-level sidebar section, not scattered mentions.
Gaps found:
customizations.jetbrainsemission), fix(cli): set overrideCommand:false so app-init.sh runs in JetBrains #78 (overrideCommand: false— security-relevant: without it Gateway skipsapp-init.shand bypasses the sandbox boundary), feat(cli): install JetBrains stack plugins via customizations.jetbrains #79 (per-stack Marketplace plugin auto-install) have no docs presence; neither do the extra JetBrains capabilities (DAC_OVERRIDE/CHOWN/FOWNER) or the.ideamount toggle beyond a table row.customizations.vscode, per-stack extensions) lives in one-liners acrossreference/cli.mdandinitialization.md.Plan: new top-level toctree section IDE integration with two mirrored pages —
ide/vscode.md(consolidation + pointer to the hardening page) andide/jetbrains.md(Gateway flow, customizations block, per-stack plugins incl. the Ultimate-gating caveats,overrideCommand:falsewarning, capabilities,.ideamount) — plus IDE links on the landing page.