···
description = "Path where repositories are scanned from";
55
+
type = types.listOf types.str;
72
+
description = "List of README filenames to look for (in priority order)";
···
83
+
userName = mkOption {
85
+
default = "Tangled";
86
+
description = "Git user name used as committer";
89
+
userEmail = mkOption {
91
+
default = "noreply@tangled.sh";
92
+
description = "Git user email used as committer";
type = types.nullOr types.str;
···
description = "Jetstream endpoint to subscribe to";
161
+
logDids = mkOption {
164
+
description = "Enable logging of DIDs";
···
mkdir -p "${cfg.stateDir}/.config/git"
cat > "${cfg.stateDir}/.config/git/config" << EOF
194
-
email = git@example.com
234
+
name = ${cfg.git.userName}
235
+
email = ${cfg.git.userEmail}
advertisePushOptions = true
···
WorkingDirectory = cfg.stateDir;
"KNOT_REPO_SCAN_PATH=${cfg.repo.scanPath}"
249
+
"KNOT_REPO_README=${concatStringsSep "," cfg.repo.readme}"
"KNOT_REPO_MAIN_BRANCH=${cfg.repo.mainBranch}"
251
+
"KNOT_GIT_USER_NAME=${cfg.git.userName}"
252
+
"KNOT_GIT_USER_EMAIL=${cfg.git.userEmail}"
"APPVIEW_ENDPOINT=${cfg.appviewEndpoint}"
"KNOT_SERVER_INTERNAL_LISTEN_ADDR=${cfg.server.internalListenAddr}"
"KNOT_SERVER_LISTEN_ADDR=${cfg.server.listenAddr}"
···
"KNOT_SERVER_PLC_URL=${cfg.server.plcUrl}"
"KNOT_SERVER_JETSTREAM_ENDPOINT=${cfg.server.jetstreamEndpoint}"
"KNOT_SERVER_OWNER=${cfg.server.owner}"
261
+
"KNOT_SERVER_LOG_DIDS=${if cfg.server.logDids then "true" else "false"}"
262
+
"KNOT_SERVER_DEV=${if cfg.server.dev then "true" else "false"}"
ExecStart = "${cfg.package}/bin/knot server";