把清理临时文件从通用设置移到插件页
This commit is contained in:
@@ -30,14 +30,16 @@ DSH 原本只能归档会话——归档只是把会话从列表里移开,日
|
||||
|
||||
### 2. 清理临时文件
|
||||
|
||||
设置 → 通用设置 → **清理临时文件**,清理 spill 后端留下的**孤儿**目录。判定偏保守:
|
||||
**设置 → 插件 → 会话彻底删除**(点会话彻底删除那一行右侧的配置按钮),清理 spill 后端留下的**孤儿**目录。判定偏保守:
|
||||
|
||||
1. 目录名必须精确等于 `session-<sha256(会话 id) 前 12 位>`——这是 spill 后端唯一会生成的形状;
|
||||
2. 该名字不属于任何已知会话(`sessionQuery.listSessions()` 已经把存量会话与内存中正在运行的会话合并成同一份语料,所以「已知」只需要一个来源);
|
||||
3. 只在 spill 的 root 内操作(后端当前 root + 系统临时目录下的 `dsh-spill*`);
|
||||
4. 符号链接一律跳过、不跟随;单项失败只记警告。
|
||||
|
||||
结果直接显示在该行(清理了几个目录、几个文件、释放多少空间),可反复点击。
|
||||
结果直接显示在该页(清理了几个目录、几个文件、释放多少空间),可反复点击。
|
||||
|
||||
这个页面占的是 `plugins.row.config` 槽位——和官方插件「终端」的配置页是同一个位置。注册了这个槽位的 key(`<包名>#<行 id>`)之后,插件行就会长出配置入口,所以本插件不声明 `Config` 也能有自己的页面。
|
||||
|
||||
## 行为与边界
|
||||
|
||||
|
||||
Reference in New Issue
Block a user