J’ai installé le nouveau sous-système pour Linux sur Windows 10 (fourni avec la mise à jour d’anniversaire de Windows) et j’ai commencé à y jouer.
Ce que j’ai remarqué, c’est que le démarrage du shell (Ubuntu Bash) ne charge pas le fichier .profile ou .bash_profile, même si le fichier .profile existe. Y a-t-il un correctif?
(Et quelqu’un qui a beaucoup de réputation peut-il créer le tag windows-bash?)
Par défaut, cette version d’Ubuntu-on-windows charge le fichier nommé .bashrc
.
Vous pouvez soit mettre le script, soit append la ligne ci-dessous à .bashrc
(et créer si .bashrc
n’existe pas):
. ~/.profile
Remarque: Si .bashrc
provient de .profile
, vous souhaiterez peut-être le commenter pour éviter de faire des boucles sans fin.