#!/bin/bash # Weird problem: # A ping to a host over OpenVPN tunnel sometimes stops working even if # the tunnel comes back up again. Restarting ping itself fixes that # problem. [ -z "$1" ] && echo "usage: $0 [ ...]" && exit 1 control_c () { exit 1 } trap control_c SIGINT while sleep 1; do ping -i 3 -c 5 "$@"; done