RR: still tweaking bash script to add host entries to /etc/hosts