Tweak port for git
This commit is contained in:
parent
9b931d24ec
commit
aebff04d1c
1 changed files with 2 additions and 0 deletions
|
@ -63,6 +63,8 @@ in
|
||||||
|
|
||||||
"git.datarift.nl" = {
|
"git.datarift.nl" = {
|
||||||
hostname = if var.workSystem then "direct.datarift.nl" else "10.0.0.201";
|
hostname = if var.workSystem then "direct.datarift.nl" else "10.0.0.201";
|
||||||
|
port = if var.workSystem then 2222 else 22;
|
||||||
|
identityFile = personalKey;
|
||||||
};
|
};
|
||||||
|
|
||||||
fluiddpi = mkIf (!var.workSystem) {
|
fluiddpi = mkIf (!var.workSystem) {
|
||||||
|
|
Loading…
Reference in a new issue