at the end of the day I had my cake and ate it, too:
site="www.debian.com"
site="www.google.fr"
###
dt=$(date +%Y%m%d%H%M%S.%N);
whois > "${site}_${dt}_whois.log" 2>&1
sudo strace --output "${site}_${dt}_strace_ping.log" ping "${site}" -c
4 > "${site}_${dt}_ping.log" 2>&1
ls -l "${site}_${dt}"*".log"; wc -l "${site}_${dt}"*".log"Once again, thank you Greg, lbrtchx
