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