Warning on `kup install k`
还没有人认领这个 Issue。
评估
调研方向
Reproduce a clean kup installation of K and capture the dangling-symlink warning. Then inspect the installation directory cleanup work mentioned in the issue and determine what causes /tmp/nix-12947-0/lib/scripts to remain; done means the clean installation no longer emits this warning.
由索引模型根据 Issue 内容生成。
描述
On a clean kup installation of K we see the following warning:
warning: skipping dangling symlink '/tmp/nix-12947-0/lib/scripts'
I suspect this is related to the installation directory cleanup work that's been done recently.
- 主要语言
- Python
- 星标
- 10
- 派生
- 2
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
我们还没有检查这个项目的环境配置文件。先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
runtimeverification/kup 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 52/100
runtimeverification/kup#149 ·
-
难度 4/5 3-5 天 新手友好度 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings again可能重新可做 @juliankuners 于 426 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#137 · 1 条评论 · 已指派 1 人 ·
-
Add more Nix versions to test CI workflow可能重新可做 @juliankuners 于 426 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#136 · 已指派 1 人 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions可能重新可做 @juliankuners 于 426 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/kup#135 · 已指派 1 人 ·
查看 runtimeverification/kup 的全部 Issue
相似的 Issue
-
bug server
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
sportsdataverse/sportsdataverse-py#641 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 82/100
googleapis/google-cloud-python#18532 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复