Strange error when installing agda from nixpkgs / nix in github codespaces

Help
1

Hello,

I am trying to install Agda but I am encountering this strange error:

» nix-env -i --from-expression 'p: with p.nixpkgs {}; agda.withPackages [ agdaPackages.standard-library agdaPackages.cubical ]'
installing 'agdaWithPackages-2.6.2.2'
these 2 derivations will be built:
  /nix/store/q9xfidsfdihc5xkx76k1g1nr77hf2a9f-libraries.drv
  /nix/store/x40i2hf78cs7imk3zgybki7qs4jdqkyh-agdaWithPackages-2.6.2.2.drv
building '/nix/store/q9xfidsfdihc5xkx76k1g1nr77hf2a9f-libraries.drv'...
error: suspicious ownership or permission on '/nix/store/wj6qc1ksir6ip0ijlz2pfjjya2wr1xsk-libraries' for output 'out'; rejecting this build output
error: 1 dependencies of derivation '/nix/store/x40i2hf78cs7imk3zgybki7qs4jdqkyh-agdaWithPackages-2.6.2.2.drv' failed to build

Any idea what could be causing this?

1 Like
2

I have never observed this message on nixos, are you using nix on another OS? And if so, did you install it as daemon or no-daemon mode? Aka multi- or singleuser installation?

What are the permissions and ownership on the path mentioned in the error?

3

I’m trying to use nix in github codespaces. I’ve found that I can reproduce this by simply opening a new codespace with the default configuration and image, then running sh <(curl -L https://nixos.org/nix/install) --no-daemon and restarting the shell, and then running the command nix-env -i --from-expression 'p: with p.nixpkgs {}; agda.withPackages [ agdaPackages.standard-library agdaPackages.cubical ]'.

The path mentioned in the error doesn’t exist after running the command.

4

Oh, some cloud stuff…

Which might at the same time give a complete new user session and identity… Please check ownership of /nix and your own user and group ID.

Not re-using user IDs seems to be some security hype on cloud stuff.

This is just an assumption though. I can not guarantee for anything.