This commit is contained in:
Rouven Seifert 2024-08-07 13:40:02 +02:00
parent 28526d5db2
commit efe00fc184
9 changed files with 55 additions and 39 deletions

View file

@ -36,13 +36,15 @@ in
hostname = "login.zih.tu-dresden.de";
user = "rose159e";
};
"mininet" = {
hostname = "internet.netd.cs.tu-dresden.de";
user = "root";
port = 2133;
extraOptions = {
ProxyJump = "tud";
};
"*.zih.tu-dresden.de" = {
user = "rose159e";
};
"*.net.tu-dresden.de" = {
user = "rose159e";
};
"git@gitlab.hrz.tu-chemnitz.de" = {
match = "Host gitlab.hrz.tu-chemnitz.de User git";
identityFile = git;
};
# iFSR