> Indeed this could be helpful to generate relevant error messages, but In this case I didn't think about error messages. I thought about adding nixos/*/file.nix references into the manual saying : This option is defined in ... On the other hand gnu id tools does the job as well. Marc Weber