diff --git a/home/ssh/default.nix b/home/ssh/default.nix index 38820d8..21d30e9 100644 --- a/home/ssh/default.nix +++ b/home/ssh/default.nix @@ -25,48 +25,6 @@ user = "server"; forwardAgent = true; }; - Kell = { - host = "Kell"; - hostname = "kell.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; - kell = { - host = "kell"; - hostname = "kell.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; - Riva = { - host = "Riva"; - hostname = "riva.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; - riva = { - host = "riva"; - hostname = "riva.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; - Arch = { - host = "Arch"; - hostname = "arch.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; - arch = { - host = "arch"; - hostname = "arch.thomasave.be"; - port = 22; - user = "user"; - forwardAgent = true; - }; Vault = { host = "Vault"; hostname = "etienne.thomasave.be";