Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions

オープン
#135 コメント 0 件 リアクション 0 件 担当者 1 名 GitHub で見る

@juliankuners がすでに取り組んでいます。

2025年7月31日 から。

評価

この issue はまだ評価されていません。

説明

Nix has previously replaced index addressing for nix profile installed packages with name addressing: NixOS/nix#9656.

Kup currently uses indices to remove packages prior to installing a new version to replace it (updating packages). This fails, when the respective nix manifest does not support indices anymore. This seems to be case since recently for some users of newer versions, though it does not seem to be entirely dependent on the version of nix in use for some reason. Maybe the manifest has to be upgraded respectively as well.

Kup should switch to using installed package names (typically a combination of the package name and some number) to address packages to be removed. Additionally, the user should be prompted to update nix in case addressing by installed package name is not yet supported with the provided revision of nix.

主要言語
Python
スター
10
フォーク
2
PR マージ指標
30日以内にマージされた PR はありません

環境構築

このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

runtimeverification/kup のほかの issue

runtimeverification/kup の issue をすべて見る

似ている issue

Python の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。