github / github/app

Deleting worktree fails w/out recovery

Offen
#3,153 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Keine Sprachdaten
Sterne
2.1k
Forks
153
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

When deleting a worktree as part of session delete it failed to delete because, I think, I had PS open to the worktree (Windows). Ideally it would force delete anyway but at least it should let me try again. I just showed this error.

Image

Which stayed for a minute or something then disappeared.

I just saw it appear again so maybe there is some timer running to try again - I've closed consoles... maybe a detached web app or something is running.

====
Delete failed
Failed to delete session: The process cannot access the file because it is being used by another process. (os error 32)
======

It would be nice if the error mentioned what file / directory was being deleted. Maybe have a "try again" button or some info saying "this will be retried again every minute forever".

Beitragsleitfaden

Beitragsleitfaden öffnen

Rechercherichtung

Beginne damit, die Löschung einer Sitzung unter Windows zu reproduzieren, während in der worktree ein PowerShell-Fenster geöffnet ist, und beobachte dann den angezeigten Fehler sowie, ob ein erneuter Versuch erfolgt. Verfolge den Bereinigungsablauf des session-delete-worktree; done sollte einen wiederherstellbaren erneuten Versuch oder ein klares Verhalten bei erneuten Versuchen ermöglichen und die an dem Fehler beteiligte Datei oder das Verzeichnis identifizieren.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Bereich
desktop
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Aktiv
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
58/100

Neue Issues direkt in Ihr Postfach

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