Theia API Documentation v1.71.0
    Preparing search index...

    Configuration for the GitHub Copilot OAuth Device Flow. Bind this symbol to a custom value in your container module to override the defaults and use your own GitHub OAuth application.

    interface CopilotOAuthConfig {
        clientId: string;
        keystoreAccount: string;
        keystoreService: string;
        userAgent: string;
    }
    Index

    Properties

    clientId: string

    The GitHub OAuth App client ID used to initiate the device flow. Defaults to the built-in Theia Copilot OAuth App client ID.

    keystoreAccount: string

    The account name used to store credentials in the system keystore. Defaults to 'github-copilot'.

    keystoreService: string

    The service name used to store credentials in the system keystore. Defaults to 'theia-copilot-auth'.

    userAgent: string

    The User-Agent header sent with GitHub API requests. Defaults to 'Theia-Copilot/1.0.0'.