# echo "172.17.0.1      nostovo.arnostdudek.cz" >> /etc/hosts