summaryrefslogtreecommitdiffstats
path: root/nixos
diff options
context:
space:
mode:
authorSandro <sandro.jaeckel@gmail.com>2021-01-31 15:24:55 +0100
committerGitHub <noreply@github.com>2021-01-31 15:24:55 +0100
commit1c71af8fd7bfc4c9d0fbbe9e55de5c5b3705c1d1 (patch)
tree26ee6f01ce2d60a55b8ae6ab934dd1e806178701 /nixos
parenta68c03eb1474079f8306926810f68b87064d2cc1 (diff)
parent9489f3450cafb36cbfb8ca3764d6f640638cf6c6 (diff)
Merge pull request #111454 from helsinki-systems/xtreemfs
nixos/xtreemfs: add types
Diffstat (limited to 'nixos')
-rw-r--r--nixos/modules/services/network-filesystems/xtreemfs.nix15
1 files changed, 15 insertions, 0 deletions
diff --git a/nixos/modules/services/network-filesystems/xtreemfs.nix b/nixos/modules/services/network-filesystems/xtreemfs.nix
index 27a9fe847c58..6cc8a05ee00b 100644
--- a/nixos/modules/services/network-filesystems/xtreemfs.nix
+++ b/nixos/modules/services/network-filesystems/xtreemfs.nix
@@ -92,6 +92,7 @@ in
enable = mkEnableOption "XtreemFS";
homeDir = mkOption {
+ type = types.path;
default = "/var/lib/xtreemfs";
description = ''
XtreemFS home dir for the xtreemfs user.
@@ -109,6 +110,7 @@ in
uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e40";
+ type = types.str;
description = ''
Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@@ -117,11 +119,13 @@ in
};
port = mkOption {
default = 32638;
+ type = types.port;
description = ''
The port to listen on for incoming connections (TCP).
'';
};
address = mkOption {
+ type = types.str;
example = "127.0.0.1";
default = "";
description = ''
@@ -131,12 +135,14 @@ in
};
httpPort = mkOption {
default = 30638;
+ type = types.port;
description = ''
Specifies the listen port for the HTTP service that returns the
status page.
'';
};
syncMode = mkOption {
+ type = types.enum [ "ASYNC" "SYNC_WRITE_METADATA" "SYNC_WRITE" "FDATASYNC" "ASYNC" ];
default = "FSYNC";
example = "FDATASYNC";
description = ''
@@ -229,6 +235,7 @@ in
uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e41";
+ type = types.str;
description = ''
Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@@ -237,12 +244,14 @@ in
};
port = mkOption {
default = 32636;
+ type = types.port;
description = ''
The port to listen on for incoming connections (TCP).
'';
};
address = mkOption {
example = "127.0.0.1";
+ type = types.str;
default = "";
description = ''
If specified, it defines the interface to listen on. If not
@@ -251,6 +260,7 @@ in
};
httpPort = mkOption {
default = 30636;
+ type = types.port;
description = ''
Specifies the listen port for the HTTP service that returns the
status page.
@@ -258,6 +268,7 @@ in
};
syncMode = mkOption {
default = "FSYNC";
+ type = types.enum [ "ASYNC" "SYNC_WRITE_METADATA" "SYNC_WRITE" "FDATASYNC" "ASYNC" ];
example = "FDATASYNC";
description = ''
The sync mode influences how operations are committed to the disk
@@ -367,6 +378,7 @@ in
uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e42";
+ type = types.str;
description = ''
Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@@ -375,12 +387,14 @@ in
};
port = mkOption {
default = 32640;
+ type = types.port;
description = ''
The port to listen on for incoming connections (TCP and UDP).
'';
};
address = mkOption {
example = "127.0.0.1";
+ type = types.str;
default = "";
description = ''
If specified, it defines the interface to listen on. If not
@@ -389,6 +403,7 @@ in
};
httpPort = mkOption {
default = 30640;
+ type = types.port;
description = ''
Specifies the listen port for the HTTP service that returns the
status page.