[Docs] Add note that AGENTS.md is not reloaded after start

Offen Anfängerfreundlich
#812 2 Kommentare 2 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
1/5
Geschätzter Aufwand
Unter einer Stunde
Anfängerfreundlichkeit
78/100
Issue-Typ
Dokumentation
Klarheit
Klar beschrieben
Aktivitätsstatus
Ruhig
Tech-Stack
shell
Bereich
cli, documentation

Rechercherichtung

Öffne die verlinkte Copilot CLI-Dokumentation im Abschnitt „Use custom instructions“ und prüfe, wie das Verhalten von AGENTS.md derzeit beschrieben wird. Füge einen Hinweis hinzu, dass Änderungen nach der Initialisierung nicht neu geladen werden und Benutzer Copilot CLI beenden und neu starten müssen, und überprüfe anschließend die Formulierung und die Platzierung des Links.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

area:configuration
Describe the feature or problem you'd like to solve

Copilot CLI does not reload the AGENTS.md file after it has been initialized, this is not mentioned anywhere.

Proposed solution

Add a section to the docs https://docs.github.com/en/copilot/how-tos/use-copilot-agents/use-copilot-cli#use-custom-instructions that states that if you edit the AGENTS.md file you need to quite and restart copilot cli.

Example prompts or workflows

No response

Additional context

No response

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

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus github/copilot-cli

Alle Issues in github/copilot-cli

Ähnliche Issues

Weitere Issues zu Shell/Bash

Neue Issues direkt in Ihr Postfach

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