Re: [Nix-dev] [***SPAM***] Thoughts on the Nix model

Nice way to establish "declarativeness" of Nix expressions is to integrate OWL (or any other description logic based language) into Nix such that we can do (lossy) translation nixpkgs -> .owl and query results with existing OWL tooling. The list of queries Nix itself does not support is a first

Re: [Nix-dev] Can NixOS run against hyper-v?

Thank you, I got my problem resolved last day from https://github.com/NixOS/nixpkgs/issues/9899 From: stewart mackenzie [mailto:setor...@gmail.com] Sent: Friday, September 18, 2015 9:21 AM To: Lili Deng (Wicresoft) Cc: nix-dev Subject: Re:

Re: [Nix-dev] Can NixOS run against hyper-v?

Thank you, I got my problem resolved last day from http://nixos.org/nixos/download.html. From: stewart mackenzie [mailto:setor...@gmail.com] Sent: Friday, September 18, 2015 9:21 AM To: Lili Deng (Wicresoft) Cc: nix-dev Subject: Re: [Nix-dev]

[Nix-dev] syncthing questions

Hi, List! I have two questions regarding Syncthing synchronization service. They may be not strongly related to Nix but I'd like to ask here before going to the upstream's forum. 1) I've upgraded NixOS installations on both desktop and server workstations recently. After the upgrade I noticed

[Nix-dev] What license does the content of the nixos wiki and the manuals have?

Hi, I cannot find any hints under what license the nixos wiki and the manuales on nix, nixos, nixpkgs and nixops are published. The pages "About Nix wiki" and "Disclaimers" as well as "Privacy Policy" on the nixos wiki are non-existent. So does anyone know something about this topic? -- Mit

Re: [Nix-dev] What license does the content of the nixos wiki and the manuals have?

For nix, nixos, nixpkgs and nixops, see source repos and the file COPYING. I think this license applies if there is no other remark on the manual page. I can't find any license info at the wiki. And then I think the 'default' license is that the author owns the rights to all material. But the wiki

[Nix-dev] Nix logo poll results

Hi all, Thanks to all who voted on the nix logo poll[0]! The voting has more or less dropped off after about a week and about 140 responses, so this seems like a good time to reveal the results. [0]: https://docs.google.com/forms/d/1oMKuPCIz5bmUokrN6mllYpIDH7cmVQTzuZAcUdGH1HM/viewform Google

Re: [Nix-dev] nixpkgs haskell system got into inconsistent state broken

It's possible you hit the infamous non-deterministic package hash generation [1] for which Peter collected data recently [2]. AFAICT the only solution is to remove and rebuild or refetch all haskell packages. This bug has high priority for GHC 8 so I hope it'll eventually go away. [1]

Re: [Nix-dev] Full Stackage Support in Nixpkgs "master"

Peter Simons cryp.to> writes: > to discover the available versions, and feel free to create your own > personal package set by overriding these default choices to your liking. > The Nixpkgs Haskell Manual [3] contains plenty of helpful information to > that end, and I'll also update it soon to

[Nix-dev] nixpkgs haskell system got into inconsistent state broken

Hi This week I encountered a situation where when I tried to build one of my own packages which was working fine before, it would fail claiming that every single Haskell package it needed was missing: http://pastebin.com/agqw9dn2 http://pastebin.com/Vyqc5U3e I had not changed anything or

Re: [Nix-dev] Tablet stylus stopped working

*smiles* On 21.09.2015 20:57, Jeffrey David Johnson wrote: > Solution in case someone has the same issue in the future: it's nothing > to do with NixOS. Alexei was correct. Got a new stylus (HP instead of a > knock-off this time) and it works again. > Jeff > > On Sun, 13 Sep 2015 18:37:39 -0700

Re: [Nix-dev] Tablet stylus stopped working

Solution in case someone has the same issue in the future: it's nothing to do with NixOS. Alexei was correct. Got a new stylus (HP instead of a knock-off this time) and it works again. Jeff On Sun, 13 Sep 2015 18:37:39 -0700 Jeffrey David Johnson wrote: > Yeah I think you're

Re: [Nix-dev] syncthing questions

OK, I have solved my syncthing-related problems. It turns out that I misused service.syncthing.dataDir config option. I thought it is pre-defined data directory to syncronize, but it is configuration-only directory in reality! Regards, Sergey 2015-09-21 22:28 GMT+03:00 Sergey Mironov

Re: [Nix-dev] ghc --enable-multi-instance, the end of cabal hell ?

Hi Peter > > Could the infrastructure used for this in ghc help in nixos? > > my understanding is that these patches solve a problem that we don't have in > Nix. We can build any number of variants of the same library and install all of > them next to each other just fine. The