raspberrypiのホスト名変更 これが楽 $ sudo raspi-config nonint do_hostname rp1040 これを変更でも良い /etc/hostname /etc/hosts
