A simple bash script for editing hostnames