avahi-daemonなどで"PC名.local"でアクセスしたいときに、PC名を好きな名前にしたい。
/etc/hostnameに変更したいホスト名をエディタ等で編集。
user@Jetson $ sudo nano /etc/hostname
さらに、/etc/hostsも編集。
user@Jetson $ sudo vim /etc/hosts
再起動すると反映される。