2012-04-10 20:56:38 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
2013-01-16 13:40:41 +00:00
|
|
|
|
2012-04-10 20:56:38 +00:00
|
|
|
system.nixosVersion = mkOption {
|
2013-01-16 14:03:54 +00:00
|
|
|
type = types.uniq types.string;
|
2012-04-10 20:56:38 +00:00
|
|
|
description = "NixOS version.";
|
|
|
|
};
|
2012-05-17 21:10:42 +00:00
|
|
|
|
2013-01-16 13:40:41 +00:00
|
|
|
system.nixosVersionSuffix = mkOption {
|
2013-01-16 14:03:54 +00:00
|
|
|
type = types.uniq types.string;
|
2013-01-16 13:40:41 +00:00
|
|
|
description = "NixOS version suffix.";
|
|
|
|
};
|
|
|
|
|
2013-07-17 11:34:40 +00:00
|
|
|
system.nixosCodeName = mkOption {
|
|
|
|
type = types.uniq types.string;
|
|
|
|
description = "NixOS release code name.";
|
|
|
|
};
|
|
|
|
|
2012-05-17 21:10:42 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
config = {
|
|
|
|
|
2013-01-16 13:40:41 +00:00
|
|
|
system.nixosVersion =
|
2013-10-01 11:45:14 +00:00
|
|
|
mkDefault (builtins.readFile ../../../.version + config.system.nixosVersionSuffix);
|
2013-01-16 13:40:41 +00:00
|
|
|
|
|
|
|
system.nixosVersionSuffix =
|
2013-10-01 11:45:14 +00:00
|
|
|
mkDefault (if builtins.pathExists ../../../.version-suffix then builtins.readFile ../../../.version-suffix else "pre-git");
|
2013-01-16 13:40:41 +00:00
|
|
|
|
2013-07-17 11:34:40 +00:00
|
|
|
# Note: code names must only increase in alphabetical order.
|
|
|
|
system.nixosCodeName = "Aardvark";
|
|
|
|
|
2012-05-17 21:10:42 +00:00
|
|
|
# Generate /etc/os-release. See
|
|
|
|
# http://0pointer.de/public/systemd-man/os-release.html for the
|
|
|
|
# format.
|
|
|
|
environment.etc = singleton
|
|
|
|
{ source = pkgs.writeText "os-release"
|
|
|
|
''
|
|
|
|
NAME=NixOS
|
|
|
|
ID=nixos
|
2013-07-17 11:34:40 +00:00
|
|
|
VERSION="${config.system.nixosVersion} (${config.system.nixosCodeName})"
|
2012-05-17 21:10:42 +00:00
|
|
|
VERSION_ID="${config.system.nixosVersion}"
|
2013-07-17 11:34:40 +00:00
|
|
|
PRETTY_NAME="NixOS ${config.system.nixosVersion} (${config.system.nixosCodeName})"
|
2012-05-17 21:10:42 +00:00
|
|
|
HOME_URL="http://nixos.org/"
|
|
|
|
'';
|
|
|
|
target = "os-release";
|
|
|
|
};
|
2013-01-16 13:40:41 +00:00
|
|
|
|
2012-04-10 20:56:38 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|