diff options
Diffstat (limited to 'options.nix')
| -rw-r--r-- | options.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options.nix b/options.nix index 684485e5..17c55372 100644 --- a/options.nix +++ b/options.nix @@ -195,6 +195,7 @@ in ''; }; + immediate_termination = mkEnableOption "immediate termination of the container on interrupt"; devel = mkEnableOption "debugging-related kernel interfaces"; userns = mkEnableOption "user namespace creation"; tty = mkEnableOption "access to the controlling terminal"; |
