Rodrigo Arias Mallo d6ed4b4521 Use IPMI host names instead of IP addresses		2025-02-12 12:35:46 +01:00
..
base	Add BSC machines to ssh config	2025-01-16 14:23:51 +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