I would like to know if there is a way to shut down multiple RPis (9 maximum) via SSH at once. Right now there is a connection to 9 RPis via SSH from a Windows 10 PC. To shut them down I connect to them via SSH (putty) one by one and then use the