At the very least we could raise a warning or something when including a package that uses /share without turning the option on. Is that a thing? Giving warnings for things like that?
Also, why is this "giving in"? What is the downside? On Thu, Oct 15, 2015 at 11:23 PM, <rocon...@theorem.ca> wrote: > Apparently it's because I'm running KDE. > > KDE sets environment.pathsToLink = [ "/share" ]; > > > https://github.com/NixOS/nixpkgs/blob/788800e437c4a0a25d95e217540bded68804b25e/nixos/modules/services/x11/desktop-managers/kde4.nix#L156 > > {:akward penguin:} > > I feel like we should give in a make "/share" part of the default for > everyone, but I only gave it 10 seconds of consideration. > > On Tue, 13 Oct 2015, Taeer Bar-Yam wrote: > > Hey! It worked! >> That just begs the question, roconnor, do you have this somewhere in your >> configuration.nix? Why was yours working from the start? >> >> In any case, thank you all so much for helping me get this working. I am >> much obliged. >> >> On Tue, Oct 13, 2015 at 1:10 PM, Taeer Bar-Yam <tb...@cornell.edu> wrote: >> What do I add to my configuration.nix? >> environment.pathsToLink = ["/share/agda"] >> ? >> Also, what is the protocol for libraries for programming languages. Like, >> where is the C stdlib kept? Is it the same for all languages? >> >> On Tue, Oct 13, 2015 at 12:38 PM, Bryan Gardiner <b...@khumba.net> wrote: >> On Tue, 13 Oct 2015 09:29:37 -0700 >> Bryan Gardiner <b...@khumba.net> wrote: >> >> > 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 :). >> >> I think your problem is that "/share/agda" is not listed in >> environment.pathsToLink. See: >> >> >> https://nixos.org/nixos/manual/options.html#opt-environment.pathsToLink >> >> >> https://github.com/NixOS/nixpkgs/blob/f81982e779e51402dc4e4717718b1ba50a739004/nixos/modules/config/system-path.nix#L102-L124 >> >> Does it work to add that to your configuration.nix? If so, I'd >> imagine that it should be added to the default list (*if* it really >> is >> required for that path to be linked there, I know nothing about >> Agda). >> >> Cheers, >> Bryan >> >> >> >> >> >> > -- > Russell O'Connor <http://r6.ca/> > ``All talk about `theft,''' the general counsel of the American Graphophone > Company wrote, ``is the merest claptrap, for there exists no property in > ideas musical, literary or artistic, except as defined by statute.''
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
