yep, more dotfiles

heriot-watt: embed robotarium ip to avoid DNS local resolution

wiro.world f702c8d1 1a8c36df

verified
+3 -1
+3 -1
home-manager/fragments/heriot-watt.nix
··· 16 16 17 17 config = lib.mkIf cfg.enable { 18 18 programs.ssh.matchBlocks."robotarium" = { 19 - hostname = "robotarium.hw.ac.uk"; 19 + # hostname = "robotarium.hw.ac.uk"; 20 + # do not rely on local network DNS resolver 21 + hostname = "137.195.243.70"; 20 22 user = hw-username; 21 23 }; 22 24 };