diff options
Diffstat (limited to 'tv/dummy_secrets')
-rw-r--r-- | tv/dummy_secrets/default.nix | 8 | ||||
-rw-r--r-- | tv/dummy_secrets/o2.pin | 1 | ||||
-rw-r--r-- | tv/dummy_secrets/repos.nix | 1 | ||||
-rw-r--r-- | tv/dummy_secrets/ssh.id_ed25519 | 3 | ||||
-rw-r--r-- | tv/dummy_secrets/ssh.id_rsa | 3 |
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----- |