Re: [Nix-dev] Replace default gcc through overlays?

for replacing the stdenv globally, but I think > this will bring you closer to the final solution. > Good luck. > > [1] https://github.com/mozilla/nixpkgs-mozilla/blob/master/release.nix#L96 > [2] https://github.com/NixOS/nixpkgs/blob/master/pkgs/ > stdenv/adapters.nix#L59 > >

[Nix-dev] Replace default gcc through overlays?

I'm writing a local (non-nixpkgs) derivation, and I'd like to replace the default "gcc" to be a patched gcc6 - also for all implicit dependencies in nixpkgs. Is it possible to do that (I assume via overlays and resulting fixpoint)? If yes, how should I write this to work? For background: I want

Re: [Nix-dev] Trying to build L4Linux kernel on NixOS: how to cross-compile?

; kernel = { [...] }; in kernel; and it appears I've started getting errors complaining about missing fields in crossSystem (e.g. kernelMajor, etc.), which I believe I can now try squashing one by one. Best Regards, /Mateusz. On Mon, Apr 3, 2017 at 9:13 PM, Mateusz Czaplinski <czapko...@gmail.com> wrote

[Nix-dev] Trying to build L4Linux kernel on NixOS: how to cross-compile?

I'm testing my luck trying to get L4Linux kernel running on NixOS. I tried to get the L4Linux kernel to build (it uses the regular kernel infrastructure) with an expression like below (full contents at: https://github.com/akavel/l4.nix/blob/9fb900a88619eb4830710e531cd3f076d74b584d/l4linux.nix ):

[Nix-dev] Is it possible to limit nix access to sudoers and/or a group?

I'd like to build a system where regular users cannot access nix commands, daemon, etc. Ideally, only users belonging to a particular group could access those. (Probably worse solution, but still acceptable, if this was limited to sudoers only.) Is it possible? If yes, how to do that on NixOS?

Re: [Nix-dev] Hydra out of disk space

Sorry if this was already discussed, but I had a thought recently, that if the Hydra farm has recurring trouble with capacity, maybe there is a chance some third-party company or individual would be willing to contribute hardware, e.g. if asked for help on Hacker News, twitter, etc. On Fri, Jul

Re: [Nix-dev] How to plug systemd-bootchart into kernel args?

onsible for kernel config > decisions to get it mainlined. > > 1: https://github.com/NixOS/nixpkgs/pull/16902 > > On 07/12/2016 07:09 PM, Mateusz Czaplinski wrote: >> I'm mostly interested in analyzing what happens during systemd. I seem >> to understand systemd-bootch

Re: [Nix-dev] How to plug systemd-bootchart into kernel args?

measure how earlier boot stages perform I'm > afraid we don't have any means to do so ATM (other than a general > "pre-systemd boot took N.M seconds"). I'd love to be proved wrong, of > course! > > On 07/11/2016 03:31 AM, Mateusz Czaplinski wrote: >> I've read that for

Re: [Nix-dev] How to plug systemd-bootchart into kernel args?

gt; image or boot with debug flags to jump into initrd shell). > > If you don't have the binary there you could add something like here: > https://github.com/NixOS/nixos/issues/208#issuecomment-22529169 > > extraUtilsCommands = > '' >cp -v ${kernel.zfs}/sbin/zfs $out/sbin

[Nix-dev] How to plug systemd-bootchart into kernel args?

I've read that for detailed boot time instrumentation, one is advised to use 'init=/usr/lib/systemd/systemd-bootchart' kernel param. I've already: - found out that with systemd-230, systemd-bootchart was moved out to a separate project (github.com/systemd/systemd-bootchart); - built a derivation

Re: [Nix-dev] What to do with nixos-hardware?

As far as I know, this repo is an early stage experiment, so activity is more than welcome, and only time can tell how (and if) this will work out! /M. On Fri, Jul 8, 2016 at 2:08 PM, Damien Cassou wrote: > I've just learned about the existence of nixos-hardware: > >

Re: [Nix-dev] Packaging free software that costs money

On Wed, Jul 6, 2016 at 3:25 PM, Bjørn Forsman wrote: > On 6 July 2016 at 14:19, Profpatsch wrote: >> $ nix-build -A ardour >> error: ardour is free as in freedom (GPL-2), but not free as in beer. >> The authors require a monthly payment of 10 USD to

Re: [Nix-dev] Importing a .nix.gpg file?

Do you plan to merge one of those solutions into Nix, or are there some blocking issues? or is it no more and no less but lack of time? /Mateusz. On Wed, Jun 15, 2016 at 1:06 PM, Eelco Dolstra wrote: > Hi, > > On 06/12/2016 12:34 PM, Michal Rus wrote: > >> in my

Re: [Nix-dev] User-oriented nixpkgs documentation (was: ioquake3 on nixos)

The Go language toolkit has the nice approach, similar as in doxygen or javadoc, based on theory that if documentation is close to code, it will be easier to keep it correct. I believe it is working great. It would be nice if a similar tool was created for Nix, making it easy to automatically

Re: [Nix-dev] How to use .nixpkgs/config.nix?

On Mon, Jun 6, 2016 at 9:31 PM, Kamil Chmielewski wrote: > Did you see nix pills by Lehtalman > http://lethalman.blogspot.it/2014/07/nix-pill-1-why-you-should-give-it-try.html > ? The first ones seemed to repeat the contents of the manual, so I initially didn't follow

Re: [Nix-dev] How to use .nixpkgs/config.nix?

On Mon, Jun 6, 2016 at 11:30 AM, Kamil Chmielewski wrote: > The '_pkgs : with _pkgs; {' part comes from > https://nixos.org/wiki/Howto_keep_multiple_packages_up_to_date_at_once. Yes, I've noticed. I know it works, and I'm very grateful to you for publicizing your solution in

Re: [Nix-dev] How to use .nixpkgs/config.nix?

On Sun, Jun 5, 2016 at 8:14 PM, Vladimír Čunát <vcu...@gmail.com> wrote: > On 06/05/2016 03:46 PM, Mateusz Czaplinski wrote: >> The config.nix from Kamil Chmielewski [1] seems somewhat >> acceptable to me at first sight, but I still don't get why config.nix >> seems so

[Nix-dev] How to use .nixpkgs/config.nix?

Hi! I'd like to have my home dir & per-user set of packages managed declaratively. I've seen some suggestions, from which I seem to believe I could try to do that using .nixpkgs/config.nix. Is that possible? how could I do that the simplest way? I'm new to Nix/NixOS. I've set up a simple NixOS

Re: [Nix-dev] AppImage

Personally, after seeing the articles I also thought about Nix and how they relate, but after some time I too now think they're rather complementary, serving quite different needs and with different pros & cons. Specifically, what I value very highly in Nix is the declarative specification and

Re: [Nix-dev] Wiki is dead

>From a newbie's perspective, I want to say two things: 1. From watching the "kill the wiki" presentation (as well as the later discussions), I believe it was actually meant as a provocative/dramatical (in a good way - as in "thought-provoking"/"wake-up call") way of saying "we ought to improve

Re: [Nix-dev] Regarding the Wiki

Being a beginner to Nix myself, I want to join in saying that as of now, the wiki *is hugely helpful to me*. The manual(s) *do* have a lot of good stuff and I like them very much, that's for sure, but the wiki totally does too. And I can't really remember finding any advice there that would be

Re: [Nix-dev] Configure WiFi networks for NetworkManager in configuration.nix?

Sent as https://github.com/NixOS/nixpkgs/pull/12219. Thanks all for help! /Mateusz. On Thu, Jan 7, 2016 at 1:21 PM, Mateusz Czaplinski <czapko...@gmail.com> wrote: > The `mode = "0400"` approach seems to work indeed, thanks! And just as you > advised, the secret is then

Re: [Nix-dev] Configure WiFi networks for NetworkManager in configuration.nix?

ropriate mode at activation >> time. See also http://nixos.org/nixos/options.html and search for >> environment.etc for further options. >> >> (Of cause other users can still read the original file in the nix store, >> so the contents would still be reachable for al

Re: [Nix-dev] Some hints for Perl -> C++ translation?

On Mon, Jan 4, 2016 at 9:22 AM, Vladimír Čunát wrote: > > - how I might try to setup a dev environment for that, ideally in > NixOS? > I think ./dev-shell is meant exactly for that. > Thanks! So, I should expect something like below to work in "pristine NixOS with Internet

Re: [Nix-dev] Configure WiFi networks for NetworkManager in configuration.nix?

eate them via appending to "environment.etc" property, but don't know how to make them root-only readable. On Wed, Dec 30, 2015 at 5:21 PM, Mateusz Czaplinski <czapko...@gmail.com> wrote: > On Wed, Dec 30, 2015 at 5:11 PM, Jakob Gillich <ja...@gillich.me> wrote: >

Re: [Nix-dev] Perl -> C++

On Thu, Dec 31, 2015 at 12:13 PM, Domen Kožar wrote: > I really don't see a correlation between rewriting perl parts in C++ and > why/how we should rewrite Nix in a different language. Could we separate > the threads? > Mateusz, did you get an answer to your questions to be able to

[Nix-dev] Some hints for Perl -> C++ translation?

(Re-posting a part of my earlier post, as it got lost in the discussion of secondary issues.) I've seen the https://github.com/NixOS/nix/issues/341 issue. I'm a total newbie to Nix, and I'd like to try learning the codebase by contributing to this issue. Could anybody possibly help me kickstart

[Nix-dev] Configure WiFi networks for NetworkManager in configuration.nix?

Hi All. I've recently installed NixOS on an old notebook. I struggled somewhat, especially with network configuration, but in the end I managed to configure it using network-manager and "nmcli". I'd much prefer if I could pre-configure all my default WiFi networks for network-manager via

Re: [Nix-dev] Configure WiFi networks for NetworkManager in configuration.nix?

On Wed, Dec 30, 2015 at 5:11 PM, Jakob Gillich wrote: > there is a open PR for the same thing with wpa_supplicant: > https://github.com/NixOS/nixpkgs/pull/12015 > Nice, thanks! I'll try to play with it then and follow the above example.

[Nix-dev] Perl -> C++

I've seen the https://github.com/NixOS/nix/issues/341 issue. I'm a total newbie to Nix, and I'd like to try learning the codebase by contributing to this issue. Could anybody possibly help me kickstart on that by giving some hints towards: - how I might try to setup a dev environment for that,

Re: [Nix-dev] Perl -> C++

(you usually embed Lua, e.g. like boost, so no additional dependencies) And just to remind, I'm still acutely interested in help/hints with all the primary questions. Thanks, /Mateusz. On 30 December 2015 19:15:54 Mateusz Czaplinski <czapko...@gmail.com> wrote: > >> I've seen