summaryrefslogtreecommitdiffstats
path: root/kartei
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2022-12-09 18:38:06 +0100
committertv <tv@krebsco.de>2022-12-09 18:38:45 +0100
commit9051f57095d4edfd22a68aa2798e38a44a2c94cb (patch)
treea4f461fc965617c3b91671e4c3da9361d0aeb1f4 /kartei
parentc2f5b1c40669b13459a170b9ec14d9a78193cef0 (diff)
kartei tv: move krebs-pages mirror from xu to ni
Diffstat (limited to 'kartei')
-rw-r--r--kartei/tv/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/kartei/tv/default.nix b/kartei/tv/default.nix
index 428e1c3b9..f7e86c598 100644
--- a/kartei/tv/default.nix
+++ b/kartei/tv/default.nix
@@ -198,6 +198,7 @@ in {
aliases = [
"ni.r"
"cgit.ni.r"
+ "krebs.ni.r"
"search.ni.r"
];
tinc.pubkey = ''
@@ -319,7 +320,6 @@ in {
aliases = [
"xu.r"
"cgit.xu.r"
- "krebs.xu.r"
];
tinc.pubkey = ''
-----BEGIN RSA PUBLIC KEY-----
@@ -369,7 +369,7 @@ in {
"http://cgit.krebsco.de" = {
desc = "Git repositories";
};
- "http://krebs.xu.r" = {
+ "http://krebs.ni.r" = {
desc = "krebs-pages mirror";
};
};