zentralwerk/network
zentralwerk
/
network
12
4
Fork 2
Code Issues 5 Pull Requests 1 Releases Wiki Activity

conf/net/serv: rename wiki to mediawiki

This commit is contained in:
Astro 2022-06-23 18:31:01 +02:00
parent 0df331b85d
commit 0c90bed397
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
config/net/serv.nix
View File

@ -70,7 +70,7 @@
staging-data-hoarder = "172.20.73.64";
oparl = "172.20.73.65";
hedgedoc = "172.20.73.66";
wiki = "172.20.73.67";
mediawiki = "172.20.73.67";
};
subnets6.dn42 = "fd23:42:c3d2:582::/64";
subnets6.up4 = "2a00:8180:2c00:282::/64";
@ -138,7 +138,7 @@
staging-data-hoarder = "2a00:8180:2c00:282:2de:5bff:fef9:e23d";
oparl = "2a00:8180:2c00:282:2de:9aff:fece:3879";
hedgedoc = "2a00:8180:2c00:282::6";
wiki = "2a00:8180:2c00:282::43";
mediawiki = "2a00:8180:2c00:282::43";
};
};