[Nix-dev] [FOSDEM] Thank you all

2015-02-02 Thread Domen Kožar
Hi all, thanks everyone for being part of the FOSDEM stand! It was amazing, we've given away around 700 stickers. There are still some t-shirts left, I'll write another email about that. I've put notes from Sunday dinner on wiki, add anything you want to make next year better:

Re: [Nix-dev] Mesa is still at 10.2.9

2015-02-02 Thread Vladimír Čunát
On 02/02/2015 07:11 PM, Vladimír Čunát wrote: It's probably past time I looked into mesa update again. It's no good. I'm running into LLVM RTTI problems again, but this time I seem unable to work around them. I'm getting either of the following error blocks (depends on whether I use

[Nix-dev] broken URLs of iwlwifi firmware tarballs

2015-02-02 Thread Vladimír Čunát
Hello, the URLs to iwlwifi firmware tarballs are broken. https://wireless.wiki.kernel.org/en/users/Drivers/iwlwifi Is that a temporary problem? I could find no mirrors for some of the files. (Besides, I found that nixos.org isn't the only user of those URLs.) Please, CC me with replies.

Re: [Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Bjørn Forsman
On 2 February 2015 at 17:43, Eelco Dolstra eelco.dols...@logicblox.com wrote: A better way (not tested): environment.etc.ssl/certs/ca-bundle.crt.source = pkgs.runCommand my-ca-bundle.crt { } '' cat ${pkgs.cacert}/etc/ca-bundle.crt ${./my-certificate.crt} $out '';

Re: [Nix-dev] broken URLs of iwlwifi firmware tarballs

2015-02-02 Thread Vladimír Čunát
On 02/02/2015 11:45 PM, Sven-Haegar Koch wrote: Aren't they now all available as part of https://git.kernel.org/cgit/linux/kernel/git/firmware/linux-firmware.git/ Yes, all should be there as well, I guess. I didn't switch to that repo yet because: - they're not the same *.tgz files (with

Re: [Nix-dev] Signing source packages

2015-02-02 Thread Tim Barbour
At Mon, 2 Feb 2015 15:45:31 +, Daniel Shahaf wrote: [ tl;dr: NixOS should sign any code that makes it into users' systems. ] [...] I would therefore suggest that NixOS starts signing any code that gets installed on users' machines, and that Nix should, by default, verify signature against

[Nix-dev] Mesa is still at 10.2.9

2015-02-02 Thread Elias Gabriel Amaral da Silva
I'm not sure if this is the right forum to ask this, but what would take to get the mesa in nixpkgs to 10.4.3? Is this planned at all? Does each package have some maintainer? (please CC me) ___ nix-dev mailing list nix-dev@lists.science.uu.nl

Re: [Nix-dev] Windowmaker not properly defined.

2015-02-02 Thread Berno Strik
Thank you for your willingness to help me. I will test it after you fix the build and let you know the result. On 02-02-15 02:11, Anderson Torres wrote: Well, I am the maintainer of Windowmaker, but I don't use it regularly. Anyway I will fix it. My problem is that I don't know how to test

[Nix-dev] NixOS Uefi installation

2015-02-02 Thread Carlo Nucera
Hi, Could anyone clarify the case of installing nixos via usb stick with UEFI in the manual here: http://nixos.org/nixos/manual/sec-installation.html In particular, the phrase `Change the label of the disk partition to the label of the ISO (visible with the blkid command)` means that I should

Re: [Nix-dev] NixOS Uefi installation

2015-02-02 Thread Bjørn Forsman
On 2 February 2015 at 16:26, Carlo Nucera medit...@gmail.com wrote: Hi, Could anyone clarify the case of installing nixos via usb stick with UEFI in the manual here: http://nixos.org/nixos/manual/sec-installation.html In particular, the phrase `Change the label of the disk partition to the

Re: [Nix-dev] A few questions about ARM support and NixOS on a Chromebook

2015-02-02 Thread Bjørn Forsman
On 2 February 2015 at 01:17, Lluís Batlle i Rossell vi...@viric.name wrote: I have the bootstrap-tools for armv5tel, they build and the test passes. https://github.com/viric/nixpkgs/tree/make_arm_bootstraptools Now I try to go further building release-14.12 stdenv. Cool! I will have a look

[Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Bjørn Forsman
Hi, (Warning: I'm a SSL/certificate newbie.) I tried placing the certificate file (.crt) into /etc/ssl/certs/, next to the existing ca-bundle.crt. That didn't work. Strace showed that e.g. curl didn't even look at my file. Then I tried to append the certificate contents to the ca-bundle.crt:

Re: [Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Kirill Elagin
An even better solution is for NixOS to switch from $SSL_CERT_FILE to $SSL_CERT_DIR so you can just add extra certificate files. I’m afrain `curl` can’t handle CA directories, I think there is only `$CURL_CA_BUNDLE`. -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/

Re: [Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Kirill Elagin
`ca-bundle.crt` is actually just a text file with a list of certificates, so I’m not sure what the error you get can possibly refer to. It should be perfectly fine to do what you are trying to do. Could it be that there was an error in your nix expression (e.g. you had `.source` instead of

Re: [Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Bjørn Forsman
On 2 February 2015 at 17:08, Kirill Elagin kirela...@gmail.com wrote: `ca-bundle.crt` is actually just a text file with a list of certificates, so I’m not sure what the error you get can possibly refer to. It should be perfectly fine to do what you are trying to do. I agree. Could it be that

Re: [Nix-dev] Mesa is still at 10.2.9

2015-02-02 Thread Luca Bruno
On 30/01/2015 07:02, Elias Gabriel Amaral da Silva wrote: I'm not sure if this is the right forum to ask this, but what would take to get the mesa in nixpkgs to 10.4.3? Is this planned at all? Does each package have some maintainer? This is the package, and maintainers are listed there:

Re: [Nix-dev] How to add (self-signed) SSL certificate to NixOS?

2015-02-02 Thread Kirill Elagin
On Mon Feb 02 2015 at 7:17:28 PM Bjørn Forsman bjorn.fors...@gmail.com wrote: On 2 February 2015 at 17:08, Kirill Elagin kirela...@gmail.com wrote: `ca-bundle.crt` is actually just a text file with a list of certificates, so I’m not sure what the error you get can possibly refer to. It

Re: [Nix-dev] nix-dev Digest, Vol 116, Issue 5

2015-02-02 Thread Alexey Muranov
On 2 February 2015 at 16:26, Carlo Nucera medit...@gmail.com wrote: Hi, Could anyone clarify the case of installing nixos via usb stick with UEFI in the manual here: http://nixos.org/nixos/manual/sec-installation.html In particular, the phrase `Change the label of the disk partition to

Re: [Nix-dev] Use Haskell for Shell Scripting

2015-02-02 Thread Lucas Paul
The Typed Racket idea is pretty good. I would point out, however, that it only addresses the type-safety concern Joe brought up; not purity. It's still pretty idiomatic Typed Racket to use side-effects and mutation from otherwise pure code. On Sun, Feb 1, 2015 at 12:57 AM, Michael Raskin