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:
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:
And then on load, the extension will add the database at that path. Possibly, all successfully added databases will be removed.