[Nix-dev] Akward environment.pathsToLink (was: AgdaStdlib Doesn't install)

[Taeer Bar-Yam]

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, <roconnor at 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 <tb442 at 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 <bog at khumba.net> wrote:
>>       On Tue, 13 Oct 2015 09:29:37 -0700
>>       Bryan Gardiner <bog at khumba.net> wrote:
>>
>>       > 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 :).
>>
>>       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.''
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151016/ca26d838/attachment-0001.html