Fixes ssh hostname configs

This commit is contained in:
willemml 2023-11-11 03:41:08 -08:00
parent be8490c860
commit 6ac27127fd
Signed by: willemml
GPG key ID: C3DE5DF6198DACBD

View file

@ -13,26 +13,26 @@
matchBlocks = { matchBlocks = {
"zeus" = { "zeus" = {
host = "10.1.2.16"; hostname = "10.1.2.16";
user = "willem"; user = "willem";
}; };
"nixbox" = { "nixbox" = {
host = "10.1.2.175"; hostname = "10.1.2.175";
user = "willem"; user = "willem";
}; };
"ubc" = { "ubc" = {
host = "remote.students.cs.ubc.ca"; hostname = "remote.students.cs.ubc.ca";
user = "willemml"; user = "willemml";
}; };
"*.students.cs.ubc.ca" = { "*.students.cs.ubc.ca" = {
user = "willemml"; user = "willemml";
}; };
"github.com" = { "github.com" = {
host = "ssh.github.com"; hostname = "ssh.github.com";
port = 443; port = 443;
}; };
"orlia-nas" = { "orlia-nas" = {
host = "192.168.1.251"; hostname = "192.168.1.251";
user = "willem"; user = "willem";
}; };
}; };