NixOS configuration files This repository contains configuration files for NixOS systems at DIKU. More NixOS systems may exist at DIKU than have a configuration file here.