Add new option config.boot.cleanTmpDir.

This option is to control if the user wants to have its /tmp directory cleaned
up during system boot.

svn path=/nixos/trunk/; revision=34432
This commit is contained in:
Peter Simons 2012-06-11 07:05:11 +00:00
parent 9125d3af50
commit fbf53168f3

View File

@ -40,6 +40,14 @@ let
for the accepted syntax.
'';
};
cleanTmpDir = pkgs.lib.mkOption {
default = false;
example = true;
description = ''
Delete all files in /tmp/ during boot.
'';
};
};
};
@ -51,7 +59,7 @@ let
src = ./stage-2-init.sh;
shellDebug = "${pkgs.bashInteractive}/bin/bash";
isExecutable = true;
inherit (config.boot) devShmSize runSize;
inherit (config.boot) devShmSize runSize cleanTmpDir;
ttyGid = config.ids.gids.tty;
upstart = config.system.build.upstart;
path =