Rodrigo Arias Mallo feb2060be7 Use IPMI host names instead of IP addresses ...

Reviewed-by: Aleix Boné <abonerib@bsc.es>

2025-04-08 17:15:01 +02: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-04-08 17:15:01 +02: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