Re: [Nix-dev] Using Nix for deterministic and verifiable builds

2014-11-16 Thread Michael Raskin
>> Deterministic output means that something has to be done about profile- >> guided optimistion. It is a subject of an old discussion in our >> community as some people would like bit-perfect builds and others think >> that PGO improves performance significantly and should be used. >> In our case

Re: [Nix-dev] Using Nix for deterministic and verifiable builds

2014-11-16 Thread Gregory Szorc
Thank you for taking time to write such a detailed reply! Comments inline. On 11/16/14 3:21 PM, Michael Raskin wrote: >> I discovered Nix and NixOS a few weeks ago and love what I see. I love >> the execution of immutable and standalone environments. IMO Nix is >> packaging done right. There is so

[Nix-dev] Using Nix for deterministic and verifiable builds

2014-11-16 Thread Michael Raskin
>I discovered Nix and NixOS a few weeks ago and love what I see. I love >the execution of immutable and standalone environments. IMO Nix is >packaging done right. There is so much potential for Nix and NixOS on so >many fronts. A disclaimer from my side: I am not speaking in the name of the ent

Re: [Nix-dev] Using Nix for deterministic and verifiable builds

2014-11-16 Thread Luca Bruno
Thanks for your interest. I don't know much of trust and verification of Nix deployments. I leave this answer to the Nix author. I wanted to point out to this PR which is relevant: https://github.com/NixOS/nixpkgs/pull/2281 Best regards, ___ nix-dev mail

[Nix-dev] Using Nix for deterministic and verifiable builds

2014-11-16 Thread Gregory Szorc
I discovered Nix and NixOS a few weeks ago and love what I see. I love the execution of immutable and standalone environments. IMO Nix is packaging done right. There is so much potential for Nix and NixOS on so many fronts. One of the potential applications I'm investigating Nix for is determi

Re: [Nix-dev] Fwd: Haskell doctest

2014-11-16 Thread Mateusz Kowalczyk
On 11/12/2014 06:10 PM, Benno Fünfstück wrote: > Ah sorry, I wrote that on my phone so the answer was a bit short :). > > You just type eval $buildPhase while you're in nix-shell. eval is a bash > builtin to execute a bash script from a string, and the buildPhase > environment variable contains th

Re: [Nix-dev] Can't log back in immediately in kdm and lightdm

2014-11-16 Thread Vladimír Čunát
Hi. On 11/16/2014 06:59 AM, Joseph Joe wrote: /nix/store/rqfg4w9xq2hj3d86wmcpjg6nc4y5jx29-xsession: Window manager 'xfce' not found. What's your services.xserver.* in configuration.nix? Vladimir smime.p7s Description: S/MIME Cryptographic Signature __

Re: [Nix-dev] Can't log back in immediately in kdm and lightdm

2014-11-16 Thread Vladimír Čunát
Hi. On 11/16/2014 06:59 AM, Joseph Joe wrote: /nix/store/rqfg4w9xq2hj3d86wmcpjg6nc4y5jx29-xsession: Window manager 'xfce' not found. What's your services.xserver.* in configuration.nix? Vladimir smime.p7s Description: S/MIME Cryptographic Signature __