+ <select id="ping">
+ <option id="none" _label="Ping mode..."/>
+ <option id="24" _label="Ping subnet/24 (254 hosts)" arg-set="-ping subnet/24"/>
+ <option id="25" _label="Ping subnet/25 (126 hosts)" arg-set="-ping subnet/25"/>
+ <option id="26" _label="Ping subnet/26 (62 hosts)" arg-set="-ping subnet/26"/>
+ <option id="27" _label="Ping subnet/27 (31 hosts)" arg-set="-ping subnet/27"/>
+ <option id="28" _label="Ping subnet/28 (14 hosts)" arg-set="-ping subnet/28"/>
+ <option id="29" _label="Ping subnet/29 (6 hosts)" arg-set="-ping subnet/29"/>
+ <option id="30" _label="Ping subnet/30 (2 hosts)" arg-set="-ping subnet/30"/>
+ <option id="ssh" _label="Ping known hosts" arg-set="-ping /etc/hosts,$HOME/.ssh/known_hosts,$HOME/.ssh/known_hosts2"/>
+ </select>