diff --git a/ops/nixos/lib/home-manager/common.nix b/ops/nixos/lib/home-manager/common.nix index 49280113f8..693eebba69 100644 --- a/ops/nixos/lib/home-manager/common.nix +++ b/ops/nixos/lib/home-manager/common.nix @@ -45,6 +45,16 @@ in hostname = "172.16.0.9"; proxyJump = "sar1"; }; + su-cinema-ernie = { + user = "lukegb"; + hostname = "su-cinema-ernie.su.ic.ac.uk"; + port = 8080; + }; + su-cinema-ernie-root = { + user = "root"; + hostname = "su-cinema-ernie.su.ic.ac.uk"; + port = 8080; + }; } // (builtins.listToAttrs [ { name = allEventBlocks; value = { proxyJump = "sar1"; }; } ]));