Data engine host

This commit is contained in:
Filippo Berto 2021-11-19 15:07:25 +01:00
parent e0e1f2f818
commit 92a2ee61b0
4 changed files with 10 additions and 4 deletions

View file

@ -46,6 +46,9 @@
# firewall.allowedUDPPorts = [ ... ]; # firewall.allowedUDPPorts = [ ... ];
# Or disable the firewall altogether. # Or disable the firewall altogether.
# firewall.enable = false; # firewall.enable = false;
hosts = {
"*.engine.sesar.int" = [ "172.20.28.210" ];
};
}; };
# Set your time zone. # Set your time zone.

View file

@ -74,6 +74,9 @@
}; };
networkmanager.enable = true; networkmanager.enable = true;
useDHCP = false; useDHCP = false;
hosts = {
"*.engine.sesar.int" = [ "172.20.28.210" ];
};
}; };
time.timeZone = "Europe/Rome"; time.timeZone = "Europe/Rome";

View file

@ -49,7 +49,7 @@
catgirl # IRC catgirl # IRC
cava cava
discord discord
# evolution evolution
file file
firefox firefox
gallery-dl gallery-dl
@ -63,7 +63,7 @@
gnomeExtensions.just-perfection gnomeExtensions.just-perfection
gnomeExtensions.gtile gnomeExtensions.gtile
gnome.file-roller gnome.file-roller
gnome.geary # gnome.geary
gnome.gnome-screenshot gnome.gnome-screenshot
gnome.gnome-sound-recorder gnome.gnome-sound-recorder
gnome.gnome-sudoku gnome.gnome-sudoku

View file

@ -49,7 +49,7 @@
catgirl # IRC catgirl # IRC
cava cava
discord discord
# evolution evolution
file file
firefox firefox
gallery-dl gallery-dl
@ -63,7 +63,7 @@
gnomeExtensions.just-perfection gnomeExtensions.just-perfection
gnomeExtensions.gtile gnomeExtensions.gtile
gnome.file-roller gnome.file-roller
gnome.geary # gnome.geary
gnome.gnome-screenshot gnome.gnome-screenshot
gnome.gnome-sound-recorder gnome.gnome-sound-recorder
gnome.gnome-sudoku gnome.gnome-sudoku