Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

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

Abierto
#135 0 comentarios 0 reacciones 1 asignado Ver en GitHub

@juliankuners ya está trabajando en esto.

Desde el 31/7/2025.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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.

Lenguaje dominante
Python
Estrellas
10
Forks
2
Métricas de merge de PR
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de runtimeverification/kup

Todos los issues de runtimeverification/kup

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.