b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

nixos/xtreemfs: add types

Browse source
This commit is contained in:
Fritz Otlinghaus 2021-01-31 13:07:47 +01:00
parent 4015c5ca9c
commit 9489f3450c
No known key found for this signature in database
GPG key ID: 1E5F98946FB1444E
1 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
nixos/modules/services/network-filesystems/xtreemfs.nix
View file

@ -92,6 +92,7 @@ in
enable = mkEnableOption "XtreemFS"; enable = mkEnableOption "XtreemFS";
homeDir = mkOption { homeDir = mkOption {
type = types.path;
default = "/var/lib/xtreemfs"; default = "/var/lib/xtreemfs";
description = '' description = ''
XtreemFS home dir for the xtreemfs user. XtreemFS home dir for the xtreemfs user.
@ -109,6 +110,7 @@ in
uuid = mkOption { uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e40"; example = "eacb6bab-f444-4ebf-a06a-3f72d7465e40";
type = types.str;
description = '' description = ''
Must be set to a unique identifier, preferably a UUID according to Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@ -117,11 +119,13 @@ in
}; };
port = mkOption { port = mkOption {
default = 32638; default = 32638;
type = types.port;
description = '' description = ''
The port to listen on for incoming connections (TCP). The port to listen on for incoming connections (TCP).
''; '';
}; };
address = mkOption { address = mkOption {
type = types.str;
example = "127.0.0.1"; example = "127.0.0.1";
default = ""; default = "";
description = '' description = ''
@ -131,12 +135,14 @@ in
}; };
httpPort = mkOption { httpPort = mkOption {
default = 30638; default = 30638;
type = types.port;
description = '' description = ''
Specifies the listen port for the HTTP service that returns the Specifies the listen port for the HTTP service that returns the
status page. status page.
''; '';
}; };
syncMode = mkOption { syncMode = mkOption {
type = types.enum [ "ASYNC" "SYNC_WRITE_METADATA" "SYNC_WRITE" "FDATASYNC" "ASYNC" ];
default = "FSYNC"; default = "FSYNC";
example = "FDATASYNC"; example = "FDATASYNC";
description = '' description = ''
@ -229,6 +235,7 @@ in
uuid = mkOption { uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e41"; example = "eacb6bab-f444-4ebf-a06a-3f72d7465e41";
type = types.str;
description = '' description = ''
Must be set to a unique identifier, preferably a UUID according to Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@ -237,12 +244,14 @@ in
}; };
port = mkOption { port = mkOption {
default = 32636; default = 32636;
type = types.port;
description = '' description = ''
The port to listen on for incoming connections (TCP). The port to listen on for incoming connections (TCP).
''; '';
}; };
address = mkOption { address = mkOption {
example = "127.0.0.1"; example = "127.0.0.1";
type = types.str;
default = ""; default = "";
description = '' description = ''
If specified, it defines the interface to listen on. If not If specified, it defines the interface to listen on. If not
@ -251,6 +260,7 @@ in
}; };
httpPort = mkOption { httpPort = mkOption {
default = 30636; default = 30636;
type = types.port;
description = '' description = ''
Specifies the listen port for the HTTP service that returns the Specifies the listen port for the HTTP service that returns the
status page. status page.
@ -258,6 +268,7 @@ in
}; };
syncMode = mkOption { syncMode = mkOption {
default = "FSYNC"; default = "FSYNC";
type = types.enum [ "ASYNC" "SYNC_WRITE_METADATA" "SYNC_WRITE" "FDATASYNC" "ASYNC" ];
example = "FDATASYNC"; example = "FDATASYNC";
description = '' description = ''
The sync mode influences how operations are committed to the disk The sync mode influences how operations are committed to the disk
@ -367,6 +378,7 @@ in
uuid = mkOption { uuid = mkOption {
example = "eacb6bab-f444-4ebf-a06a-3f72d7465e42"; example = "eacb6bab-f444-4ebf-a06a-3f72d7465e42";
type = types.str;
description = '' description = ''
Must be set to a unique identifier, preferably a UUID according to Must be set to a unique identifier, preferably a UUID according to
RFC 4122. UUIDs can be generated with `uuidgen` command, found in RFC 4122. UUIDs can be generated with `uuidgen` command, found in
@ -375,12 +387,14 @@ in
}; };
port = mkOption { port = mkOption {
default = 32640; default = 32640;
type = types.port;
description = '' description = ''
The port to listen on for incoming connections (TCP and UDP). The port to listen on for incoming connections (TCP and UDP).
''; '';
}; };
address = mkOption { address = mkOption {
example = "127.0.0.1"; example = "127.0.0.1";
type = types.str;
default = ""; default = "";
description = '' description = ''
If specified, it defines the interface to listen on. If not If specified, it defines the interface to listen on. If not
@ -389,6 +403,7 @@ in
}; };
httpPort = mkOption { httpPort = mkOption {
default = 30640; default = 30640;
type = types.port;
description = '' description = ''
Specifies the listen port for the HTTP service that returns the Specifies the listen port for the HTTP service that returns the
status page. status page.