Allow CodeQL databases to be specified in the workspace

Aperta
#502 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
35/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
typescript, vscode

Direzione di ricerca

Inizia individuando la gestione delle impostazioni di VS Code dell’estensione e il punto di ingresso utilizzato per aggiungere i database CodeQL. Traccia quindi il modo in cui il caricamento dell’area di lavoro individua attualmente i database, poi definisci il comportamento per i percorsi proposti di codeQL.preloadedDatabases, inclusi gli inserimenti riusciti e i caricamenti ripetuti dell’area di lavoro. Il lavoro è completato quando i database configurati sono automaticamente disponibili all’apertura dell’area di lavoro.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Complexity: Medium enhancement VSCode

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.

Lingua principale
TypeScript
Stelle
539
Fork
240
Merge medio
2g 6h
PR unite (30g)
29

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di github/vscode-codeql

Tutte le issue di github/vscode-codeql

Issue simili

Altre issue su TypeScript

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.