summary refs log tree commit diff
path: root/nixos
diff options
context:
space:
mode:
authorJoachim F <joachifm@users.noreply.github.com>2017-05-06 13:55:59 +0100
committerGitHub <noreply@github.com>2017-05-06 13:55:59 +0100
commit6ef9875edb5160d8e447d3acd06ffc14c23a9052 (patch)
treed5eefdf8ebf6333edbe9b79eb327399fedaedcad /nixos
parente2f9c1b97b08c801f9d40926224ad8f20b827237 (diff)
parent3b0daa1a28a94725122ffcd0f39b452e084c351e (diff)
downloadnixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar.gz
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar.bz2
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar.lz
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar.xz
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.tar.zst
nixpkgs-6ef9875edb5160d8e447d3acd06ffc14c23a9052.zip
Merge pull request #25494 from michalpalka/xendomains
xen service: Add the possibility to override configuration of xendomains
Diffstat (limited to 'nixos')
-rw-r--r--nixos/modules/virtualisation/xen-dom0.nix19
1 files changed, 18 insertions, 1 deletions
diff --git a/nixos/modules/virtualisation/xen-dom0.nix b/nixos/modules/virtualisation/xen-dom0.nix
index 1567b175348..785cf2cc344 100644
--- a/nixos/modules/virtualisation/xen-dom0.nix
+++ b/nixos/modules/virtualisation/xen-dom0.nix
@@ -111,6 +111,19 @@ in
           '';
       };
 
+    virtualisation.xen.domains = {
+        extraConfig = mkOption {
+          type = types.string;
+          default = "";
+          description =
+            ''
+              Options defined here will override the defaults for xendomains.
+              The default options can be seen in the file included from
+              /etc/default/xendomains.
+            '';
+          };
+      };
+
     virtualisation.xen.trace =
       mkOption {
         default = false;
@@ -216,7 +229,11 @@ in
         { source = "${cfg.package}/etc/xen/scripts";
           target = "xen/scripts";
         }
-        { source = "${cfg.package}/etc/default/xendomains";
+        { text = ''
+            source ${cfg.package}/etc/default/xendomains
+
+            ${cfg.domains.extraConfig}
+          '';
           target = "default/xendomains";
         }
       ];