Skip to content

Add codeQL.model.packLocation setting#3539

Merged
koesie10 merged 2 commits intomainfrom
koesie10/pack-location-config
Apr 8, 2024
Merged

Add codeQL.model.packLocation setting#3539
koesie10 merged 2 commits intomainfrom
koesie10/pack-location-config

Conversation

@koesie10
Copy link
Copy Markdown
Member

@koesie10 koesie10 commented Apr 5, 2024

This adds the codeQL.model.packLocation setting, which allows users to specify the location of the CodeQL extension pack. This setting replaces the codeQL.model.extensionsDirectory setting, which has been removed.

The pack location supports variable substitutions and supports both absolute and relative paths. The default value is
.github/codeql/extensions/${name}-${language} which matches the previous defaults.

My plan is to add the CHANGELOG entry when all three settings have been added, rather than for each one individually.

Screenshot 2024-04-05 at 14 47 05

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

This adds the `codeQL.model.packLocation` setting, which allows users to
specify the location of the CodeQL extension pack. This setting replaces
the `codeQL.model.extensionsDirectory` setting, which has been removed.

The pack location supports variable substitutions and supports both
absolute and relative paths. The default value is
`.github/codeql/extensions/${name}-${language}` which matches the
previous defaults.
@koesie10 koesie10 force-pushed the koesie10/pack-location-config branch from 6d6e760 to 5fbd912 Compare April 5, 2024 13:04
@koesie10 koesie10 marked this pull request as ready for review April 5, 2024 13:32
@koesie10 koesie10 requested review from a team as code owners April 5, 2024 13:32
Copy link
Copy Markdown
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

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

Nice! I haven't tested this locally, but the code + tests look sensible ✨

Comment thread extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts Outdated
@koesie10 koesie10 mentioned this pull request Apr 8, 2024
3 tasks
@koesie10 koesie10 enabled auto-merge April 8, 2024 11:58
@koesie10 koesie10 merged commit 4dc126d into main Apr 8, 2024
@koesie10 koesie10 deleted the koesie10/pack-location-config branch April 8, 2024 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants