From 50466806df7a536dae3eb81c9c24ac98547c4c9b Mon Sep 17 00:00:00 2001 From: Markus Fleschutz Date: Wed, 8 Nov 2023 13:58:51 +0100 Subject: [PATCH] Update ping-hosts.ps1 --- scripts/ping-hosts.ps1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ping-hosts.ps1 b/scripts/ping-hosts.ps1 index 20f282c4..d1919594 100644 --- a/scripts/ping-hosts.ps1 +++ b/scripts/ping-hosts.ps1 @@ -13,7 +13,7 @@ #> try { - [string]$hosts = "Amnesiac,Boston,Castor,Cisco,Fedora,Fireball,Firewall,fritz.box,Gateway,Hippo,Io,Jarvis,Jenkins01,Jenkins02,Laptop,Jupiter,Mars,Mercury,Miami,Mobile,NY,Paris,Pluto,Proxy,R2D2,Rocket,Router,Server,SmartPhone,SmartWatch,Sunnyboy,Tablet,Ubuntu,Vega,Venus,Zeus" # sorted alphabetically + [string]$hosts = "Amnesiac,ArchLinux,Berlin,Boston,Castor,Cisco,Fedora,Fireball,Firewall,fritz.box,Gateway,Hippo,Io,Jarvis,Jenkins01,Jenkins02,LA,Laptop,Jupiter,Mars,Mercury,Miami,Mobile,NY,Paris,Pluto,Proxy,R2D2,Rocket,Rome,Router,Server,SmartPhone,SmartWatch,Sunnyboy,Tablet,Ubuntu,Vega,Venus,Zeus" # sorted alphabetically [int]$timeout = 600 # milliseconds $hostsArray = $hosts.Split(",") $count = $hostsArray.Count