github / github/app

Deleting worktree fails w/out recovery

Aperta
#3,153 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Nessun dato sulla lingua
Stelle
2.1k
Fork
153
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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".

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Inizia riproducendo l’eliminazione di una sessione su Windows mentre una finestra PowerShell è aperta nel worktree, quindi osserva l’errore visualizzato e se viene effettuato un nuovo tentativo. Traccia il flusso di pulizia del session-delete-worktree; done dovrebbe fornire un nuovo tentativo recuperabile o un comportamento di nuovo tentativo chiaro e identificare il file o la directory coinvolti nell’errore.

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

Valutazione

Ambito
desktop
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Attiva
Chiarezza
Abbastanza chiara
Idoneità per principianti
58/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.