最近Windows 10を再インストールしました。ホスト名はDESKTOP-XXXXXXです。それを別のものに変更しようとしています。私は以下を試しました:
Sudo hostname wsl
また、/etc/hostname
を「wsl」に変更し、/etc/hosts
を「127.0.1.1 wsl.localdomain wsl」に変更しました。
WSLを再起動するたびに、ホスト名がリセットされます。ホスト名を永続的に変更するにはどうすればよいですか?
ホストシステムの名前をSystem --> Change Settings --> Change
から変更してみてください。 WSLがホスト名をホストコンピュータのホスト名と一致するように更新することは理にかなっています。
Windows 10 Home 64ビットで、Fall Creators Updateエディション(バージョン1709、ビルド16299.19)を使用しました:
Settings
_ System
▸About
Rename this PC
その後、再起動が必要です。
再生を無効にするために/etc/hosts
、 セットする generateHosts = true
設定ファイル/etc/wsl.conf
(存在しない場合は作成)、セクション[network]
https://docs.Microsoft.com/en-us/windows/wsl/wsl-config#set-wsl-launch-settings