Update Hostname Debian 7

Enter following commands to set the hostname, replacing plato with the hostname of your choice:

echo "plato" > /etc/hostname

hostname -F /etc/hostname