[Nix-dev] Re: What about globalConfig /// userConfig?

[Ludovic Courtès]

Hi,

Getting back to the point of your message...  ;-)

Marc Weber <marco-oweber at gmx.de> writes:

> Every single person can choose it's version.
> However the system administrator has no chance of defining a config
> default which may be overridden by the user.
> So what about
> /etc/nixpkgs_conifg.nix ?
> which is merged with
> $HOME/.nixpkgs/config.nix ?
> in a sensible way?

Good idea, but again, make sure to use hyphens instead of underscores in
file names.  ;-)

I think user settings should override global settings, not the opposite.

Thanks,
Ludovic.