% set remote_host www.linux-magazin.de
www.linux-magazin.de
% set result [exec ping -c 1 $remote_host]
PING www.linux-magazin.de (62.245.157.216) 56(84) bytes of data.
64 bytes from www.linux-magazin.de (62.245.157.216): icmp_seq=1 ttl=48 time=158 ms

--- www.linux-magazin.de ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 158.410/158.410/158.410/0.000 ms