2020-10-11 15:09:15 +02:00
|
|
|
# Public
|
|
|
|
Host github.com
|
|
|
|
User git
|
|
|
|
Hostname github.com
|
|
|
|
|
|
|
|
Host gitlab.com
|
|
|
|
User git
|
|
|
|
Hostname gitlab.com
|
|
|
|
|
|
|
|
# FI
|
|
|
|
Host gitlab.fi.muni.cz
|
|
|
|
User git
|
|
|
|
Hostname gitlab.fi.muni.cz
|
|
|
|
|
|
|
|
Host aisa anxur
|
|
|
|
User xfocko
|
|
|
|
Hostname %h.fi.muni.cz
|
|
|
|
|
|
|
|
# Private
|
2022-08-18 00:08:47 +02:00
|
|
|
Host maxwell
|
2020-10-11 15:09:15 +02:00
|
|
|
User mfocko
|
2022-08-18 00:08:47 +02:00
|
|
|
Hostname maxwell.mfocko.xyz
|
|
|
|
Port 6969
|
2020-10-11 15:09:15 +02:00
|
|
|
|
|
|
|
Host poincare
|
|
|
|
User mfocko
|
|
|
|
Hostname mfocko.xyz
|
2022-03-12 23:17:10 +01:00
|
|
|
Port 10022
|
2020-10-11 15:09:15 +02:00
|
|
|
|
|
|
|
Host git.mfocko.xyz
|
|
|
|
User git
|
|
|
|
Hostname git.mfocko.xyz
|
|
|
|
Port 2222
|
|
|
|
|
2022-08-18 00:08:47 +02:00
|
|
|
Host git.maxwell.mfocko.xyz
|
2020-10-11 15:09:15 +02:00
|
|
|
User git
|
2022-08-18 00:08:47 +02:00
|
|
|
Hostname git.maxwell.mfocko.xyz
|
|
|
|
Port 6969
|