[Nix-dev] AgdaStdlib Doesn't install

[Bryan Gardiner]

On Sat, 10 Oct 2015 20:30:52 -0400
Taeer Bar-Yam <tb442 at cornell.edu> wrote:

> The file you requested is attached.
> 
> I also observed something new and interesting. I tried to take everything
> out of my configuration.nix except the bare minimum and AgdaStdlib.
> What's weird is that the things in my /run/current-system/sw/share/ didn't
> disappear. I'm not sure if they were supposed to, but there was still a
> emacs/ folder there even though emacs wasn't installed. (I checked, and
> `emacs` doesn't work).

share/emacs holds emacs support files, which Nix and other things like
Git install, so that's expected to be present regardless of whether
emacs is installed.

> It seems like what is happening is the /run/current-system/sw/share/ folder
> stopped being updated at some point after I had installed certain things
> but not others. Any idea why that would happen? Or am I misreading the
> situation?

I can confirm that adding AgdaStdlib to environment.systemPackages
with a "nixos-rebuild switch" doesn't cause
/run/current-system/sw/share/agda to be created, like it does with
~/.nix-profile/share/agda in a user profile.  Now here's hoping
software (de)installation doesn't randomly stop working for me too :).

- Bryan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 801 bytes
Desc: OpenPGP digital signature
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151013/2f54fa69/attachment.bin