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

Installing `kup` fails with `error: opening directory ... No such file or directory`

Abierto
  • ¿Algo no está bien?
#94 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
35/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Estancado
Stack tecnológico
bash
Área
cli, devops

Línea de trabajo

Start with the https://kframework.org/install entry point and trace the nix profile install command shown in the issue. Check how the current user's profile directory is handled after Nix installation, then verify a fresh Apple Silicon installation reaches the kup install step without the missing-directory error.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

The Setup

  • Apple M1 Max MacBook Pro, 64GB RAM
  • Sonoma 14.2 with homebrew
  • No prior installation of nix or kup

The Problem

When trying to install kup (for the first time) using bash <(curl https://kframework.org/install) , I got the following error:

[0]~% bash <(curl https://kframework.org/install)
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100  2973  100  2973    0     0  60453      0 --:--:-- --:--:-- --:--:-- 60673
It appears that you don't have nix installed. Since the K framework needs nix for distribution, this script will attempt to install nix first. Would you like to proceed? [y/N]y
Downloading nix and running the installer...
info: downloading installer https://install.determinate.systems/nix/tag/v0.15.1/nix-installer-aarch64-darwin
`nix-installer` needs to run as `root`, attempting to escalate now via `sudo`...
Password:
 INFO Step: Create an encrypted APFS volume `Nix Store` for Nix on `disk3` and add it to `/etc/fstab` mounting on `/nix`
 INFO Step: Provision Nix
 INFO Step: Create build users (UID 300-332) and group (GID 30000)
 INFO Step: Configure Time Machine exclusions
 INFO Step: Configure Nix
 INFO Step: Configuring zsh to support using Nix in non-interactive shells
 INFO Step: Create a `launchctl` plist to put Nix into your PATH
 INFO Step: Configure Nix daemon related settings with launchctl
 INFO Step: Remove directory `/nix/temp-install-dir`
zsh compinit: insecure directories and files, run compaudit for list.
Ignore insecure directories and files and continue [y] or abort compinit [n]? n
zsh compinit: insecure directories and files, run compaudit for list.
Ignore insecure directories and files and continue [y] or abort compinit [n]? Nix was installed successfully!
To get started using Nix, open a new shell or run `. /nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh`

Installing the K framework installer utility (kup) ...
error: opening directory '/nix/var/nix/profiles/per-user/musab': No such file or directory

I could see that there is a root directory in /nix/var/nix/profiles/per-user/ (owned by root) but not musab, which is the regular user's username.

A Possible Solution

As seen in the output above, installing nix succeeds, but the command in the install script for installing kup fails, which is the following command:

GC_DONT_GC=1 nix profile install github:runtimeverification/kup#kup \
  --option extra-substituters 'https://k-framework.cachix.org' \
  --option extra-trusted-public-keys 'k-framework.cachix.org-1:jeyMXB2h28gpNRjuVkehg+zLj62ma1RnyyopA/20yFE=' \
  --experimental-features 'nix-command flakes'

I was able to resolve this issue by:

  1. Manually creating the directory /nix/var/nix/profiles/per-user/musab as root with sudo
  2. Changing ownership of the directory to musab (using sudo again)
  3. Rerunning the kup installation command above.

So, the suggested fix is to check whether the current user's directory in /nix/var/nix/profiles/per-user/ exists, and to create it with the proper permissions if it's not present before running the kup installing command.

Lenguaje dominante
Python
Estrellas
10
Forks
2
Sin PR fusionados en 30 d

Preparar el entorno

Aún no hemos revisado los archivos de configuración de este proyecto. 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.