fix(ssh): change hostname and ports of local server

Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
Matej Focko 2022-08-18 00:08:47 +02:00
parent 6884811fda
commit 6e099b0e62
Signed by: mfocko
GPG key ID: 7C47D46246790496

View file

@ -17,10 +17,10 @@ Host aisa anxur
Hostname %h.fi.muni.cz Hostname %h.fi.muni.cz
# Private # Private
Host gauss Host maxwell
User mfocko User mfocko
Hostname gauss.mfocko.xyz Hostname maxwell.mfocko.xyz
Port 4444 Port 6969
Host poincare Host poincare
User mfocko User mfocko
@ -32,7 +32,7 @@ Host git.mfocko.xyz
Hostname git.mfocko.xyz Hostname git.mfocko.xyz
Port 2222 Port 2222
Host git.gauss.mfocko.xyz Host git.maxwell.mfocko.xyz
User git User git
Hostname git.gauss.mfocko.xyz Hostname git.maxwell.mfocko.xyz
Port 2222 Port 6969