> System -> Administration -> Network ->Unlock -> General -> «choose your new name» -> reboot; Well, that's one of the problems: I don't have System -> Administration -> Network! > Alternative: sudo gedit /etc/hostname I really didn't want to resort to that. Thanks a lot, Carlos.