Modification du nom d'hôte sur WSL
J'ai récemment réinstallé Windows 10 et mon nom d'hôte est DESKTOP-XXXXXX. J'essaye de le changer pour autre chose. J'ai essayé ce qui suit:
Sudo hostname wsl
J'ai aussi changé /etc/hostname en "wsl" et a changé /etc/hosts à "127.0.1.1 wsl.localdomain wsl".
Chaque fois que je redémarre WSL, il réinitialise le nom d'hôte. Comment changer définitivement le nom d'hôte?
Essayez de changer le nom du système hôte de System --> Change Settings --> Change. Il est logique que WSL mette à jour son nom d'hôte pour qu'il corresponde à celui de l'ordinateur hôte.
Dans Windows 10 Home 64 bits, édition Fall Creators Update (Version 1709, Build 16299.19), j'ai utilisé:
Settings ▸ System ▸ About ▸ Rename this PC
Après cela, un redémarrage est nécessaire.
Pour désactiver la régénération /etc/hosts, ensemble generateHosts = true dans le fichier de configuration /etc/wsl.conf (s'il n'existe pas, créez-le), section [network]
https://docs.Microsoft.com/en-us/windows/wsl/wsl-config#set-wsl-launch-settings