Warning on `kup install k`
まだ誰も着手していません。
評価
調査の方向性
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 はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- 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 が 438 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#137 · コメント 1 件 · 担当者 1 名 ·
-
Add more Nix versions to test CI workflow再び着手できるかも @juliankuners が 438 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#136 · 担当者 1 名 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions再び着手できるかも @juliankuners が 438 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#135 · 担当者 1 名 ·
runtimeverification/kup の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
spec-kitty/spec-kitty#6112 ·
メンテナーはふだん 1 日以内に返信
-
[Bug]: OpenRouter streaming chunks report the requested router name instead of the model OpenRouter served対応中かも @Mrun25 が今日担当しました。 オープンbug llm translation
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
BerriAI/litellm#46095 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
uberdeveloper/fastbt#29 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
andrew-blake/melcloudhome#368 ·
メンテナーはふだん 1 日以内に返信
-
lane:discover
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
SPARDiffData/differential-data-collection#33 ·
メンテナーはふだん 1 日以内に返信