remove all uses of mdDoc

This commit is contained in:
xenia 2024-04-15 19:34:36 -04:00
parent e4b8b135a7
commit 93d7fa507b
1 changed files with 4 additions and 4 deletions

View File

@ -20,23 +20,23 @@ in {
}; };
basePort = mkOption { basePort = mkOption {
default = 13100; default = 13100;
description = mdDoc "Ghidra server base port - the server will use 3 consecutive TCP ports starting from the provided port number."; description = "Ghidra server base port - the server will use 3 consecutive TCP ports starting from the provided port number.";
type = types.port; type = types.port;
}; };
directory = mkOption { directory = mkOption {
default = "/var/lib/ghidra-server"; default = "/var/lib/ghidra-server";
description = mdDoc "Directory for Ghidra server data."; description = "Directory for Ghidra server data.";
type = types.str; type = types.str;
}; };
user = mkOption { user = mkOption {
type = types.str; type = types.str;
default = "ghidra"; default = "ghidra";
description = mdDoc "User account under which ghidra server runs."; description = "User account under which ghidra server runs.";
}; };
group = mkOption { group = mkOption {
type = types.str; type = types.str;
default = "ghidra"; default = "ghidra";
description = mdDoc "Group account under which ghidra server runs."; description = "Group account under which ghidra server runs.";
}; };
}; };