1
0
mirror of https://github.com/kmein/niveum synced 2026-03-16 10:11:08 +01:00

SSH config

+ github, gitlab, happysrv
This commit is contained in:
Kierán Meinhardt
2018-10-19 21:38:43 +02:00
parent e2ee80e2bb
commit 82a98fb072

View File

@@ -2,7 +2,20 @@
with lib;
let huServer = name: ''
Host ${name}
HostName ${name}.informatik.hu-berlin.de
User ${(import ../secrets.nix).eduroam.identity}
HostName ${name}.informatik.hu-berlin.de
'';
in strings.concatMapStringsSep "\n\n" huServer [ "rabe" "star" "gruenau" "gruenau1" "gruenau2" "gruenau3" "gruenau4" "gruenau5" "gruenau6" "gruenau7" "gruenau8" ]
in ''
Host github
User git
HostName github.com
Host gitlab
User git
HostName gitlab.informatik.hu-berlin.de
Host happysrv
User meinhark
HostName v22017123717458308.happysrv.de
Port 49000
'' + strings.concatMapStringsSep "\n\n" huServer [ "rabe" "star" "gruenau" "gruenau1" "gruenau2" "gruenau3" "gruenau4" "gruenau5" "gruenau6" "gruenau7" "gruenau8" ]