fix(config): allow nulls for database user/pass

arch-community · Dec 26, 2023 · 7dff6e3 · 7dff6e3
1 parent 393298c
commit 7dff6e3
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/nix/module.nix b/nix/module.nix
@@ -30,6 +30,14 @@ in {
             client_id = mkOpt int "Discord application client ID" { };
             owner = mkOpt int "Discord user ID of the bot's owner" { };
 
+            arch = {
+                mirror = mkOpt' str "Mirror server hosting Arch Linux repos"
+                    "https://mirrors.edge.kernel.org/archlinux/" { };
+
+                repos = mkOpt' (listOf str) "List of repositories to index"
+                    [ "core" "extra" "multilib" ] { };
+            };
+
             database = {
                 type = mkOpt' (enum [ "sqlite3" "oracle_enhanced" ])
                     "Type of database to connect to" "sqlite3" { };

diff --git a/share/global_config.schema.json b/share/global_config.schema.json
@@ -44,7 +44,7 @@
 				},
 
 				"repos": {
-					"description": "List of repositories to fetch",
+					"description": "List of repositories to index",
 					"type": "array",
 
 					"uniqueItems": true,
@@ -76,12 +76,12 @@
 
 				"user": {
 					"description": "Database username",
-					"type": "string"
+					"type": [ "string", "null" ]
 				},
 
 				"pass": {
 					"description": "Database password",
-					"type": "string"
+					"type": [ "string", "null" ]
 				}
 			}
 		},