github / github/copilot-cli

Add /remove-dir command to revoke directory access

Offen
#4,830 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

triage
Vorherrschende Sprache
Shell
Sterne
11.2k
Forks
1.9k
Ø Merge
14 Std. 16 Min.
Gemergte PRs (30 T.)
6

Beschreibung

Describe the feature or problem you'd like to solve

Copilot CLI provides /add-dir and /list-dirs, but no corresponding command to remove a previously allowed directory. Users cannot reduce directory access during a session without restarting or otherwise resetting session state.

Proposed solution

Add /remove-dir <path> as the counterpart to /add-dir. It should:

  • Revoke file access to the specified previously allowed directory for the current session.
  • Remove the directory from /list-dirs immediately.
  • Unload trusted skills, agents, and instructions loaded from that directory when safe.
  • Clearly report active references or running work that prevent immediate removal.
  • Return a clear error when the path is not currently allowed.

This improves least-privilege workflows by allowing users to grant temporary access and revoke it as soon as it is no longer needed, without restarting the session.

Example prompts or workflows
  1. /add-dir C:\work\shared-library, work with files there, then run /remove-dir C:\work\shared-library when finished.

  2. Run /list-dirs, identify an accidentally added directory, and remove it with /remove-dir <path>.

  3. Temporarily allow access to generated artifacts, inspect them, then revoke access while keeping the current conversation.

  4. Attempt to remove a directory used by a running task and receive a clear message explaining what must finish or stop first.

Additional context

A dedicated removal command would make /add-dir reversible and provide a clearer least-privilege permission model. /reset-allowed-tools does not address directory access, and restarting a session is unnecessarily disruptive.

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit der Untersuchung der bestehenden Einstiegspunkte für die Befehle /add-dir und /list-dirs sowie der Art und Weise, wie Verzeichnisberechtigungen der aktuellen Sitzung nachverfolgt werden. Definiere den Abschluss anhand der angeforderten Verhaltensweisen: Entfernung aus /list-dirs, sicheres Entladen geladener Ressourcen, klare Meldungen zu aktiven Referenzen oder laufenden Vorgängen sowie ein Fehler für Pfade, die nicht erlaubt sind.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
shell
Bereich
cli, security
Issue-Typ
Feature
Schwierigkeit
5/5
Geschätzter Aufwand
Über eine Woche
Aktivitätsstatus
Aktiv
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
38/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.