formatting and updates

This commit is contained in:
Rouven Seifert 2023-01-10 11:31:33 +01:00
parent 3a2d061875
commit 89c992c0d9
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
6 changed files with 25 additions and 23 deletions

View file

@ -74,9 +74,9 @@
source = config.virtualisation.libvirtd.qemu.package + "/share/qemu/edk2-i386-vars.fd";
mode = "0644";
user = "libvirtd";
};
};
};
environment.systemPackages = with pkgs; [
# essentials

View file

@ -34,7 +34,8 @@
};
};
openconnect.interfaces = {
TUD-A-Tunnel = { # apparently device names have a character limit
TUD-A-Tunnel = {
# apparently device names have a character limit
protocol = "anyconnect";
gateway = "vpn2.zih.tu-dresden.de";
user = "rose159e@tu-dresden.de";
@ -45,7 +46,7 @@
compression = "stateless";
};
};
TUD-C-Tunnel= {
TUD-C-Tunnel = {
protocol = "anyconnect";
gateway = "vpn2.zih.tu-dresden.de";
user = "rose159e@tu-dresden.de";