hmatsue による投稿:

端末にて、

コード:

gksudo gedit /etc/hostname

として設定ファイルを管理者権限で開き、
そこに書いてある名前を好みのものに変更し、
保存後、システムを再起動して下さい。

/etc/hosts
も同様に名前を置き換えてください

ご回答誠にありがとうございます。
あっさりと大成功です。
それにしても、これはご回答不要ですが、どうしてそんなコマンドをご存知なのでしょうか。
本当にお二方様、ありがとうございました。

rhythm