github / github/copilot-cli

Bug/Feat: Sandbox config to selectively enable tools

Ouverte
#4,298 1 commentaire 2 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

area:configuration area:permissions area:tools
Langage dominant
Shell
Étoiles
11.2k
Forks
1.9k
Merge moyen
14 h 16 min
PR mergées (30 j)
6

Description

Describe the feature or problem you'd like to solve

Feature Request: Sandbox config in settings.json to selectively enable tools, and/or whitelist bundled copilot package tools

Proposed solution

potentially have some tools { ... } within sandbox section in settings.json to enable allowed tools/apps/executables
(or provide documentation on how best to accomplish this if fits somehow in current schema)

more specifically, encountered this around copilot bundled rg ripgrep, while in sandbox enabled:

Search "xunit\.V3" (sandboxed)  sh: 1:~/.copilot/pkg/linux-x64/1.0.75/ripgrep/bin/linux-x64/rg: not found

Search is blocked because the bundled  rg  executable is unavailable under the current sandbox policy.
Please review  /sandbox  and retry.

ideally specifically around this, executable packages that are bundled within distributed copilot are just marked "safe" by default and end user does not need to do anything additional to whitelist to allow these in sandbox mode

Example prompts or workflows

No response

Additional context

No response

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par lire la configuration settings.json et le comportement de la politique /sandbox, puis suivez la manière dont l’exécutable fourni dans ~/.copilot/pkg/linux-x64/1.0.75/ripgrep/bin/linux-x64/rg est vérifié. Déterminez si le schéma existant peut exprimer les outils autorisés ou si les outils fournis nécessitent une valeur par défaut sûre ; le travail est terminé lorsque la configuration ou la documentation prévue est définie et que sandboxed Search peut utiliser rg.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
json, shell
Domaine
cli, security
Type d'issue
Fonctionnalité
Difficulté
4/5
Temps estimé
3-5 jours
Activité
Calme
Clarté
À clarifier
Accessibilité débutants
45/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.