File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7171 (" j" ,(ssh-key " jb" )
7272 ,(ssh-key " jb2" )
7373 ,(ssh-key " jb-lovelace" ))))))
74- (service dhcp-client-service-type)
74+ (service static-networking-service-type
75+ (list
76+ (static-networking
77+ (addresses
78+ (list
79+ (network-address
80+ (device " eth0" )
81+ (value " 5.252.225.193/22" ))
82+ (network-address
83+ (device " eth0" )
84+ (value " 2a03:4000:40:2f2:7460:66ff:feda:145b/64" ))))
85+ (routes
86+ (list
87+ (network-route
88+ (destination " default" )
89+ (gateway " 5.252.224.1" ))))
90+ (name-servers
91+ ' (" 1.1.1.1" " 1.0.0.1" )))))
7592 (service postgresql-service-type
7693 (postgresql-configuration
7794 (postgresql postgresql-16)))
113130 (domains ' (" turing.box.pydis.wtf" ))
114131 (deploy-hook %certbot-deploy-hook))))))
115132 (service unattended-upgrade-service-type)
116- (simple-service 'resolv-conf etc-service-type
117- (list `(" resolv.conf" ,(plain-file
118- " resolv.conf"
119- " nameserver 1.1.1.1 1.0.0.1\n " ))))
120133 (simple-service 'motd etc-service-type
121134 (list `(" motd" ,%motd))))
122135 %base-services))
You can’t perform that action at this time.
0 commit comments