On 6 October 2015 at 20:52, Thomas Strobel <ts468 at cam.ac.uk> wrote: > Recently, NixOS got a few new options for configuring the networking. Very nice. I might need to use some of these soon. Thanks! Regards, T G-R