Merge remote-tracking branch 'ni/master'

5 files changed, 0 insertions, 16 deletions

diff --git a/tv/dummy_secrets/default.nix b/tv/dummy_secrets/default.nix
deleted file mode 100644
index ab90db55c..000000000
--- a/tv/dummy_secrets/default.nix
+++ /dev/null
@@ -1,8 +0,0 @@
-{ config, ... }:
-{
-  users.users.root = {
-    openssh.authorizedKeys.keys = [
-      config.krebs.users.tv.pubkey
-    ];
-  };
-}
diff --git a/tv/dummy_secrets/o2.pin b/tv/dummy_secrets/o2.pin
deleted file mode 100644
index 53a3137cd..000000000
--- a/tv/dummy_secrets/o2.pin
+++ /dev/null
@@ -1 +0,0 @@
-AT
diff --git a/tv/dummy_secrets/repos.nix b/tv/dummy_secrets/repos.nix
deleted file mode 100644
index eed712458..000000000
--- a/tv/dummy_secrets/repos.nix
+++ /dev/null
@@ -1 +0,0 @@
-_: {}
diff --git a/tv/dummy_secrets/ssh.id_ed25519 b/tv/dummy_secrets/ssh.id_ed25519
deleted file mode 100644
index a7d2adab4..000000000
--- a/tv/dummy_secrets/ssh.id_ed25519
+++ /dev/null
@@ -1,3 +0,0 @@
------BEGIN OPENSSH PRIVATE KEY-----
-dummy
------END OPENSSH PRIVATE KEY-----
diff --git a/tv/dummy_secrets/ssh.id_rsa b/tv/dummy_secrets/ssh.id_rsa
deleted file mode 100644
index dd7209c2e..000000000
--- a/tv/dummy_secrets/ssh.id_rsa
+++ /dev/null
@@ -1,3 +0,0 @@
------BEGIN RSA PRIVATE KEY-----
-dummy
------END RSA PRIVATE KEY-----