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
