Skip to content

Allow CodeQL databases to be specified in the workspace #502

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
aeisenberg opened this issue Jul 16, 2020 · 1 comment
Open

Allow CodeQL databases to be specified in the workspace #502

aeisenberg opened this issue Jul 16, 2020 · 1 comment
Labels
Complexity: Medium Requires a moderate level of detail in design or review. enhancement New feature or request VSCode

Comments

@aeisenberg
Copy link
Contributor

Is your feature request related to a problem? Please describe.

In order to facilitate workspace sharing (e.g., for CodeQL trainings and CTF), it would be great if we could have a workspace that is already set up to work on a database without having the user do any configuration.

It's already partially possible through codespaces. Users can start working with almost no extra configuration. The only thing that the user needs to do is add a database. Through a Codespaces docker file, it's already possible for the database to be available in the file system.

This task is about adding this database directly to the workspace on load.

Describe the solution you'd like

One possible way to do this is to use VS Code settings. Something like:

{
  ...
  "codeQL.preloadedDatabases": [
    "/var/opt/db1",  "/var/opt/db1"
  ],
  ...
}

And then on load, the extension will add the database at that path. Possibly, all successfully added databases will be removed.

@aeisenberg aeisenberg added the enhancement New feature or request label Jul 16, 2020
@adityasharad adityasharad added the Complexity: Medium Requires a moderate level of detail in design or review. label Sep 14, 2020
@Manouchehri
Copy link

This is also going to be very useful for us VS Code Remote users, who use multiple different clients.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Complexity: Medium Requires a moderate level of detail in design or review. enhancement New feature or request VSCode
Projects
None yet
Development

No branches or pull requests

3 participants