>>318
ありがとうございます。
sudo ping で試してみましたが、Ctrl-Cで中断できませんでした。
シェルには戻るのですが、バックグラウンドでpingの実行が続いてしまう。
sudo kill で中断できました ;-)

ところで、よろしかったらGitHubで管理していただけませんか？
・更新を取得、実行するのが容易
・変更分が見やすい
・他の人がコードの提案をしやすい
・検索エンジンなどで見つかりやすいので多くの意見が望める
メリットは他にもたくさんあると思います。