J'ai installé Ubuntu (Bash) Linux sur Windows 10 (fourni avec la mise à jour anniversaire de Windows) et commencé à jouer avec.
Ce que j'ai remarqué, c'est que le démarrage du shell (ubuntu bash) ne charge pas .profile ou .bash_profile, même si le fichier .profile existe. Y a-t-il un correctif?
Réponses:
Vous pouvez modifier le raccourci Bash pour qu’il exécute votre fichier .profile. Cliquez sur les propriétés et ajoutez "--login" après le "~" dans Target.
Remarque: Il s'agit des propriétés du fichier bash, et non des propriétés affichées dans la fenêtre supérieure gauche du shell bash. Dans le menu de démarrage, cliquez avec le bouton droit de la souris sur "Bash on Ubuntu on Windows" et sélectionnez Plus, puis ouvrez Emplacement du fichier. Faites un clic droit sur ce fichier dans l'explorateur de fichiers et sélectionnez les propriétés. Il y a où vous ajoutez "--login".
Par défaut, cette version d'ubuntu-on-windows charge le fichier nommé ~ / .bashrc (à la place).
Mais c’est intéressant parce que ~ / .profile a une section pour charger automatiquement ~ / .bashrc. Donc, si vous inversez pour rendre le fichier .bashrc load .profile, vous devrez supprimer le commentaire.
~/.bashrcif test -r ~/.profile; then . ~/.profile; fi