root/the_prg_server_configuration
1
0
Fork 0
mirror of https://codeberg.org/polyteknisk-radiogruppe/the_prg_server_configuration.git synced 2026-06-13 18:28:55 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Savlage dedicated database nix

Browse source
This commit is contained in:
Root User 2026-03-20 17:11:27 +01:00
parent 43d858005f
commit c570c8bb89
Signed by: root
GPG key ID: 087F0A95E5766D72
1 changed files with 1 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
nix-system-configs/modules/system/database.nix
View file

@ -5,12 +5,6 @@
... ...
}: let }: let
choose = paths: builtins.head (builtins.filter (p: builtins.pathExists p) paths); choose = paths: builtins.head (builtins.filter (p: builtins.pathExists p) paths);
dummyFileSystems = {
fileSystems."/" = {
device = "/dev/disk/by-label/nixos";
fsType = "ext4";
};
};
in { in {
options.local = { options.local = {
hostname = lib.mkOption { hostname = lib.mkOption {
@ -48,8 +42,7 @@ in {
## TODO: Make this more elegant and less risky for unexpected errors happening. ## TODO: Make this more elegant and less risky for unexpected errors happening.
] ]
++ lib.optional (builtins.pathExists ./hardware-configuration.nix) ./hardware-configuration.nix ++ lib.optional (builtins.pathExists ./hardware-configuration.nix) ./hardware-configuration.nix;
++ lib.optional (!builtins.pathExists ./hardware-configuration.nix) dummyFileSystems;
config = { config = {
local.hostname = "nixosdd"; local.hostname = "nixosdd";