if [ -z "$1" ]; then echo "Must supply server name as argument"; exit 0; fi

dev=$1

echo $dev > primary_dev
echo $dev:8080 > tomcat_dev
echo $dev:8000 > web_dev
echo $dev > auth_dev
echo $dev > dev

echo "127.0.0.1" > local_db_dev
echo "127.0.0.1" > local_key_dev
echo "127.0.0.1" > local_mail_dev
echo "127.0.0.1" > local_smtp_dev