Perfetto! Grazie ad entrambi, a Vortex per il chiarimento e ad untamed per quelle linee (che, ammetto, ho copiato spudoratamente con qualche modifica sui parametri da passare a fping ).

Solo un'ultima cosa riguardante quel " -u ${servers[@]} 2 ": l'ho sostituito con " -u nomeserver 2 " e funziona egregiamente, dunque visto che -u è un parametro documentato nell'help di fping, ne deduco che ${servers[@]} venga tradotto al volo in una lista di server... Hai dichiarato un array nello script stesso te? Che c'entra quel 2 alla fine?

E giusto per concludere in bellezza, perchè gli fai fare un salto in /dev/null prima di arrivare a server_down.txt?