Skip to content

Conversation

@yashwanth195
Copy link
Contributor

@yashwanth195 yashwanth195 commented Dec 9, 2025

"[ts-command-line] Add support for numeric command line parameters"
Fixes issue #5491

Details

Changed initialized constant reflecting the correct path.

@TheLarkInn
Copy link
Member

@yashwanth195 for pull requests if you have an issue that this PR fixes add in the description

"Fixes #5493"

GitHub will then link the issue and close it when the PR is merged.

@yashwanth195
Copy link
Contributor Author

Fixes issue #5491.

@yashwanth195
Copy link
Contributor Author

@microsoft-github-policy-service agree company="Microsoft"

…rc/extension.ts


Correct expression

Co-authored-by: David Michon <dmichon@microsoft.com>
@TheLarkInn TheLarkInn merged commit 110e3c5 into microsoft:main Dec 12, 2025
5 checks passed
@github-project-automation github-project-automation bot moved this from Needs triage to Closed in Bug Triage Dec 12, 2025
export const EXTENSION_DISPLAY_NAME: string = 'Debug Certificate Manager';

export const EXTENSION_ID: string = 'RushStack.debug-certificate-manager';
export const EXTENSION_ID: string = '@ext:ms-RushStack.debug-certificate-manager';
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: @ext is a setting prefix to look for extension id and not part of the extension id itself. consider renaming the const to SETTINGS_EXTENSION_ID_FILTER or keep the string concatenation in extention.ts

Also, See if you can source this info from the extension manifest to avoid future issues like this. We can also start using that pattern for other vscode extensions here.

import packageJson from '../package.json';
// ....
export const EXTENSION_ID: string = `${packageJson.publisher}.${packageJson.name}`

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

or something like

import packageJson from '../package.json';
// ....
export const EXTENSION_ID: string = `${packageJson.publisher}.${packageJson.name}`;
export const VSCODE_SETTINGS_EXTENSION_ID_FILTER = `@ext:${EXTENSION_ID}`;

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Closed

Development

Successfully merging this pull request may close these issues.

[debug-certificate-manager] - "Show Settings" button directs user to an invalid vscode extension URI

4 participants