dunkirk.sh
Kieran's opinionated (and probably slightly dumb) nix config
feat: add jumphost
+18
-4
machines/atalanta/home/default.nix
+18
-4
machines/atalanta/home/default.nix
···
77
77
port = 2220;
78
78
};
79
79
80
-
kali = {
81
-
user = "kali";
82
-
};
83
-
84
80
terebithia = {
85
81
hostname = "150.136.15.177";
86
82
zmx = true;
87
83
};
88
84
85
+
kali = {
86
+
user = "blueteam";
87
+
hostname = "100.70.248.109";
88
+
extraOptions = {
89
+
SetEnv = "TERM=xterm-256color";
90
+
};
91
+
};
89
92
herald = {
90
93
hostname = "herald.dunkirk.sh";
91
94
port = 2223;
···
103
106
hostname = "163.11.236.52";
104
107
user = "Jacket20";
105
108
identityFile = "~/.ssh/id_ed25519_cedarville";
109
+
};
110
+
111
+
jump = {
112
+
hostname = "vce2.ncaecybergames.org";
113
+
port = 2213;
114
+
user = "kieranklukas@cedarville.edu";
115
+
identityFile = "~/.ssh/id_ed25519_cedarville";
116
+
forwardAgent = true;
117
+
extraOptions = {
118
+
SetEnv = "TERM=xterm-256color";
119
+
};
106
120
};
107
121
};
108
122