2018-10-06 10:39:04 +02:00
|
|
|
{ lib }:
|
|
|
|
|
with lib;
|
|
|
|
|
let huServer = name: ''
|
|
|
|
|
Host ${name}
|
|
|
|
|
User ${(import ../secrets.nix).eduroam.identity}
|
2018-10-19 21:38:43 +02:00
|
|
|
HostName ${name}.informatik.hu-berlin.de
|
2018-10-06 10:39:04 +02:00
|
|
|
'';
|
2018-10-19 21:38:43 +02:00
|
|
|
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" ]
|
