Re: [Nix-dev] Build a package with what I have right now without updating deps
On 05/27/2014 03:03 AM, Mateusz Kowalczyk wrote: I found https://nixos.org/wiki/Create_and_debug_nix_packages which mentions that we can use nixos-version to find out which commit we're at and then work from that. I guess that works. That works. I have a git alias to checkout that commit easily nixos-version = !git checkout $(nixos-version | awk -F. '{print $4}' | cut -c1-7) signature.asc Description: OpenPGP digital signature ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] [nixos] The necessity of UEFI Secure Boot
In short: all the bootloaders are signed by Microsoft. At least in “mainstream” distributions. UEFI is definitely a cool thing. But there are decisions to be made before implementing its support in a distribution. So, yeah, I hope the discussion will be started. As a first step, NixOS can probably assume that it is used by power-users, who own their Platform Keys. -- Кирилл Елагин On Tue, May 27, 2014 at 9:26 AM, Wout Mertens wout.mert...@gmail.comwrote: So grub doesn’t work? I thought it did? I saw that the Surface Pro 3 is a Secure Booting UEFI device... It would make a nice NixOS laptop :-) Also, the Ubuntu boot loader is apparently signed by Microsoft. Just random thoughts sorry. Wout. On May 26, 2014 2:44 PM, Third3ye tredje...@gmail.com wrote: Personally I had to disable UEFI secure boot by using the other OS option... something which can cause severe problems for then again gaining access to the operating system, if the UEFI software completely dumps the KEKs. I was lucky and somehow got back in without having to resort to using a recovery USB stick. But I'm assuming this maybe a problem for other users and seeing that more and more machines are released using UEFI and Secure Boot I feel this needs to be addressed. Since, however, it's out of my league I can only request that it be taken into consideration that shim should take over as the default UEFI solution. If not there is another solution called rf boot... rl boot? I can't remember. But here are a few articles that explain that it is not only possible but also necessary. How we approach such a problem... well, like I said: out of my league. Here is a rather large article about the issue of implementing UEFI Secure Boot in Linux. *The Growing Role of UEFI Secure Boot in Linux Distributions* http://www.linuxjournal.com/content/growing-role-uefi-secure-boot-linux-distributionshttp://?view=attth=146388fa8de8cb56attid=0.0.1.1disp=embzwatsh=0 For those of you who maybe conscerned that UEFI secure boot is challanging the presence of FOSS operating systems the Linux Foundation released a document stating why these fears are not accurate. *Making UEFI Secure Boot Work With Open Platforms* https://www.linuxfoundation.org/sites/main/files/lf_uefi_secure_boot_open_platforms.pdfhttp://?view=attth=146388fa8de8cb56attid=0.0.1.2disp=embzwatsh=0 Conclusion of the article from The Linux Foundation: *The UEFI secure boot facility is designed to be readily usable by both proprietary and open operating systems to improve the security of the bootstrap process. Some observers have expressed concerns that secure boot could be used to exclude open systems from the market, but, as we have shown above, there is no need for things to be that way. If vendors ship their systems in the setup mode and provide a means to add new KEKs to the firmware, those systems will fully support open operating systems while maintaining compliance with the Windows 8 logo requirements. The establishment of an independent certificate authority for the creation of KEKs would make interoperation easier, but is not necessary for these platforms to support open** systems**.* Thank you for your concern, now back to the Wiki work... Cheers! Signed Third3ye ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Mate-on-Nixos: nix-shell runs OK, but nix-build hangs when compiling libmateweather
But there is some real difference between nix-shell and nix-build? What if I catch a bug on nix? Anyway I will try it tonight. 2014-05-27 2:00 GMT-03:00 Wout Mertens wout.mert...@gmail.com: Build it with -K, break and go check out what it does to build stamp-locations. Possibly it's using a tty or so and you would have to patch the make file. Still, weird. On May 27, 2014 2:31 AM, Anderson Torres torres.anderson...@gmail.com wrote: Hello, Nixers! I am with another problem when compiling another Mate component, libmateweather. My problem is a bit strange. When I run: nix-build ~/GITHUB/nix-packages-github/nixpkgs/default.nix -A mate.libmateweather it hangs on a message building stamp-Locations.xml, and no more output is written out (read pastebin: http://pastebin.com/75wW2FGT) But when I run genericBuild inside nix-shell, it just runs fine (read another pastebin again: http://pastebin.com/qQXCZS4A) Can someone explain why? AFAIK that type of error is not reported in other sources like Archlinux or Gentoo... P.S.: I have posted all code I have made so far (mate-common, mate-desktop, libmatekbd, libmateweather) into my nixpkgs mirror, below mate-on-nixos branch ( https://github.com/AndersonTorres/nixpkgs/tree/mate-on-nixos). ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Regarding extra GRUB options in Configuration.nix
Hello, In a configuration.nix, where would you be able to set GRUB options such as: |GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true| The normal boot.loader.grub does not seem to have these functions? Thanks, Roger ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Regarding extra GRUB options in Configuration.nix
I remember an option in c11n.nix about grub timeout. I am on a cellphone now, but try to search NixOS manual, section about c11n vars. Em 27/05/2014 06:28, Roger Qiu roger@polycademy.com escreveu: Hello, In a configuration.nix, where would you be able to set GRUB options such as: GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true The normal boot.loader.grub does not seem to have these functions? Thanks, Roger ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Regarding extra GRUB options in Configuration.nix
What about timeout var? Em 27/05/2014 06:41, Anderson Torres torres.anderson...@gmail.com escreveu: I remember an option in c11n.nix about grub timeout. I am on a cellphone now, but try to search NixOS manual, section about c11n vars. Em 27/05/2014 06:28, Roger Qiu roger@polycademy.com escreveu: Hello, In a configuration.nix, where would you be able to set GRUB options such as: GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true The normal boot.loader.grub does not seem to have these functions? Thanks, Roger ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] This Week in NixOS
Great initiative! Keep going! Marco 2014-05-25 20:23 GMT+02:00 Georges Dubus georges.du...@gmail.com: Hello there I mentioned the idea on irc some time ago, and I finally gathered the courage to do it : here is the first issue of This Week in NixOS[1]. For this first issue, I browsed the various git logs and tried to pick up the most remarkable commits, but I'm sure I have missed many. If you do or see something that should appear in the next issues, please send me an email to make sure it is included. Also, this first issue is quite short. What additional sections would you like to see in the next issues? I'm thinking about a list of new contributors and an exhaustive list of package updates. Finally, I believe my NixOS atom feed[2] might be worth adding to the planet, so this is also an open letter to any planet admin! [1] http://compiletoi.net/this-week-in-nixos-1.html [2] http://compiletoi.net/feeds/nixos.atom.xml -- Georges Dubus ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Regarding extra GRUB options in Configuration.nix
Well, unhappily I don't know how GRUB scripts work, but these aren't options for /etc/grub/default file. I think we can search the corresponding option on grub file, and modify it by editing these two entries: boot.loader.grub.extraConfighttp://nixos.org/nixos/manual/#opt-boot.loader.grub.extraConfig boot.loader.grub.extraEntrieshttp://nixos.org/nixos/manual/#opt-boot.loader.grub.extraEntries boot.loader.grub.extraEntriesBeforeNixOShttp://nixos.org/nixos/manual/#opt-boot.loader.grub.extraEntriesBeforeNixOS Well, this is only a sketch. Sorry by the lack of conciseness. Em 27/05/2014 06:54, Anderson Torres torres.anderson...@gmail.com escreveu: What about timeout var? Em 27/05/2014 06:41, Anderson Torres torres.anderson...@gmail.com escreveu: I remember an option in c11n.nix about grub timeout. I am on a cellphone now, but try to search NixOS manual, section about c11n vars. Em 27/05/2014 06:28, Roger Qiu roger@polycademy.com escreveu: Hello, In a configuration.nix, where would you be able to set GRUB options such as: GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true The normal boot.loader.grub does not seem to have these functions? Thanks, Roger ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Regarding extra GRUB options in Configuration.nix
Well, it looks like I should start with basics of grub. Grub has a configuration file, `grub.cfg`. There is no such thing as “hidden timeout” in terms of grub's configuration file. Also they ship scripts that generate this configuration from another configuration, supposedly, a more user-friendly one. That's actually what you edit in `/etc/default/grub`. By the way, the scripts that source this file and generate `grub.cfg` are in `/etc/grub.d/` so you can check them out if you are interested. The relevant part is `make_timeout` function in `00_header`. I should note that I never trusted those generating scripts, because they produce tons of useless code and I prefer to write `grub.cfg` myself (kinda old-school, yeah!). Now, NixOS, obviously doesn't use those scripts and generates `grub.cfg` for you. So, the thing is, there is no way to configure “hidden timeout” which is not cool, and I'll definitely put this on my list of my future contributions to NixOS. But for now you can simulate this by putting something like: boot.loader.grub.extraConfig = '' if sleep --interruptible 5 ; then set timeout=10 fi ''; (Not tested, just guessing.) (Where 5 is GRUB_HIDDEN_TIMEOUT and 10 is GRUB_TIMEOUT.) This way you'll get the same behaviour as grub's upstream generator scripts give you. Personally I normally use this in my `grub.cfg` instead: if keystatus --shift ; then set timeout=-1 else set timeout=0 fi This will normally boot immediately without displaying the menu or waiting for something, _unless_ you are holding shift when booting. If you are holding shift, it will display the menu without timeout. -- Кирилл Елагин On Tue, May 27, 2014 at 11:53 AM, Roger Qiu roger@polycademy.comwrote: Hello, In a configuration.nix, where would you be able to set GRUB options such as: GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true The normal boot.loader.grub does not seem to have these functions? Thanks, Roger ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Move to GHC 7.8.2
Oliver Charles ollie writes: At work, we still can't build with GHC 7.8.2 because various dependencies are still broken. However, that's not really the end of the world - I can just change our expressions to use haskellPackages_ghc763 rather than haskellPackages. Just wanted to note that I've been building the Haskell packages I use with the following compilers daily (they often all rebuild after nixpkgs updates, since I use -u --leq): GHC 7.4.2 GHC 7.6.3 GHC 7.6.3-profiling GHC 7.8.2 GHC 7.8.2-profiling So far I've the following not work with 7.8.2 (though things could have changed): Agda cabal2nix hasktags lambdabot threadscope The way I work around this is to simply build those specific tools using 7.6.3, until they are updated to support 7.8.2. John ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Move to GHC 7.8.2
I should point out that I've since got everything with working with GHC 7.8, and we've in fact now switched work's compiler to be 7.8. On Tue, May 27, 2014 at 8:20 PM, John Wiegley jo...@newartisans.com wrote: Oliver Charles ollie writes: At work, we still can't build with GHC 7.8.2 because various dependencies are still broken. However, that's not really the end of the world - I can just change our expressions to use haskellPackages_ghc763 rather than haskellPackages. Just wanted to note that I've been building the Haskell packages I use with the following compilers daily (they often all rebuild after nixpkgs updates, since I use -u --leq): GHC 7.4.2 GHC 7.6.3 GHC 7.6.3-profiling GHC 7.8.2 GHC 7.8.2-profiling So far I've the following not work with 7.8.2 (though things could have changed): Agda cabal2nix hasktags lambdabot threadscope The way I work around this is to simply build those specific tools using 7.6.3, until they are updated to support 7.8.2. John ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev