Rodrigo Arias Mallo c32c1bd03b Add users to fox		2025-02-12 16:46:56 +01:00
..
base	Add users to fox	2025-02-12 16:46:56 +01:00
xeon	Use IPMI host names instead of IP addresses	2025-02-12 12:35:46 +01:00
base.nix	Program shutdown for August 2nd for all machines	2024-09-12 08:36:36 +02:00
xeon.nix	Set the serial console to ttyS1 in raccoon	2024-09-12 08:36:56 +02:00