github / github/app

Deleting worktree fails w/out recovery

未关闭
#3,153 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
主要语言
没有语言数据
星标
2.1k
派生
153
PR 合并指标
30 天内没有已合并 PR

描述

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

贡献指南

打开贡献指南

调研方向

首先,在 worktree 中打开 PowerShell 窗口的情况下重现 Windows 上的会话删除,然后观察显示的失败以及是否会重试。跟踪 session-delete-worktree 的 worktree 清理流程;done 应提供可恢复的重试或明确的重试行为,并确定失败涉及的文件或目录。

由索引模型根据 Issue 内容生成。

评估

领域
desktop
Issue 类型
缺陷
难度
3/5
预计耗时
1-2 天
活跃度
活跃
描述清晰度
基本清楚
新手友好度
58/100

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。