Skip to main content

IDE State Files

The IDE control plane writes JSON under ~/.bgng/ide/.

profiles.json​

Array of IdeProfileRecord values. Profiles are either beginningdb.direct or iminds.gateway.

Direct profiles store baseUrl, tenantId, filesystemId, and computed pathPrefix. Gateway profiles store gatewayUrl, filesystemId, and path prefix /.

sessions.json​

{
  gatewaySessions: Record<string, GatewaySessionRecord>;
}

Gateway session strategies are manual-token, dispatch-session, and managed-session.

secrets.json​

{
  directTokens: Record<string, string>;
  gatewayRefreshSecrets: Record<string, GatewayRefreshSecretRecord>;
}

This file is plain-text JSON. It is not encrypted and is not stored in the OS keychain.

runtime.json​

{
  selectedTarget?: 'stock-vscode' | 'packaged-fork';
  selectedProfileId?: string;
  cliContractVersion: 1;
}

When absent, runtime metadata defaults to { cliContractVersion: 1 }.