[Nix-dev] Building Elm with Nix?

2016-02-22 Thread Anand Patil
Hi everyone, Does anyone have a system worked out for building Elm projects and managing their dependencies with Nix? It looks like an elmWithPackages was developed in 2013, http://comments.gmane.org/gmane.comp.lang.elm.general/648, but it doesn't seem to have been merged. Cheers, Anand

Re: [Nix-dev] On nixpkgs and reasonable code size

2016-02-22 Thread zimbatm
We have nixpkgs/pkgs/build-support/upstream-updater. I think it's a tool that takes metadata from a package to find updates. But it's used by 8 packages tops and it's doc is in doc/old/update-upstream-data.txt. Somewhere we also have a tool that tracks CVEs against packages with a heuristic but I

[Nix-dev] Continuous Integration

2016-02-22 Thread Ericson, John
As everyone knows, while updates to nixpkgs roll in 'round the clock, the unstable channels are usually stuck for days or weeks before lurching forward. In other words, we don't do continuous integration. This does not seem sustainable as nixpkgs grows larger and changes more rapidly. When I

[Nix-dev] Gazebo multirobot simulator - PR ready for review

2016-02-22 Thread Patrick Callahan
Hi, everyone! My name is Patrick Callahan. I work at Latitude Engineering and I'm interested in using Nix+Hydra for continuous integration. I'm also running NixOS on my workstation, and loving it. Anyway, I added some robotics packages in this PR

Re: [Nix-dev] On nixpkgs and reasonable code size

2016-02-22 Thread Mathnerd314
On Mon, Feb 22, 2016 at 9:54 AM, Mathnerd314 wrote: > What happened to the rule of "Don't keep generated files in version > control"? > Previous discussion: http://comments.gmane.org/gmane.linux.distributions.nixos/18615 3 months and no progress... -- Mathnerd314

Re: [Nix-dev] Installing CA certificates

2016-02-22 Thread Adam Russell
Here's the full output of those two commands (substituting domain name and IP address): $ curl --cacert /etc/ssl/certs/ca-certificates.crt -v https://exch1.example.com/owa/ * Trying 10.10.1.234... * Connected to exch1.example.com (10.10.1.234) port 443 (#0) * Cipher selection:

Re: [Nix-dev] On nixpkgs and reasonable code size

2016-02-22 Thread zimbatm
Related to the discussion, apparently even Debian has trouble keeping-up with security updates: https://statuscode.ch/2016/02/distribution-packages-considered-insecure/ It's not a simple problem for sure. On Mon, 22 Feb 2016 at 09:35 Adrien Devresse wrote: > I think the inflow

Re: [Nix-dev] How to set up your own Hydra server (video tutorial)

2016-02-22 Thread zimbatm
I have a tentative branch that you can steal. It compiles but I haven't tried to run it yet: https://github.com/zimbatm/nixpkgs/tree/hydra-module . It's really cool what you can do with release.nix but it's also hard to convert into a standard mkDerivation so I'm not sure I got all the

Re: [Nix-dev] How to set up your own Hydra server (video tutorial)

2016-02-22 Thread Domen Kožar
Actually Christian Theune volunteered for that, we just have to coordinate to make it happen :) On Mon, Feb 22, 2016 at 11:45 AM, Oliver Charles wrote: > On Wed, Feb 17, 2016 at 10:25 AM zimbatm wrote: > >> One question that was raised, does anyone

Re: [Nix-dev] How to set up your own Hydra server (video tutorial)

2016-02-22 Thread Oliver Charles
On Wed, Feb 17, 2016 at 10:25 AM zimbatm wrote: > One question that was raised, does anyone know why the hydra modules > aren't part of nixpkgs ? Any organisation who wants to adopt nixos is going > to need it's own hydra, the easiest the setup the wider the adoption. > I

Re: [Nix-dev] On nixpkgs and reasonable code size

2016-02-22 Thread Adrien Devresse
> I think the inflow of PRs *is* high wrt. the number of active > contributors with push access. Certainly too much to keep quality very > high all the time, but on the other hand, for those less important > packages it's not a big deal... The way the other distributions solved this issue is by

Re: [Nix-dev] Call for input method PR review

2016-02-22 Thread Raahul Kumar
Thank you Mathnerd, you're a champ! I do like Roland's unicode fonts, but at this point this is just about aesthetics, those are certainly enough to get started. Those are some obscure languages standing in the way of full compliance, unfortunately we will have to hope someone with expertise in