On Sat, 10 Oct 2015 20:30:52 -0400 Taeer Bar-Yam <tb...@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
pgp5cOZos_I0k.pgp
Description: OpenPGP digital signature
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
