Retourner au contenu associé (entrée de forum : problème d'exécution de bashrc lors du lancement d'un shell)
Posté par vv222 le 21 juin 2020 à 11:57. En réponse au message problème d'exécution de bashrc lors du lancement d'un shell. Évalué à 2.
L’extrait pertinent de mon fichier ~/.profile, issu d’une Debian mais probablement fonctionnel à peu près partout :
~/.profile
# if running bash if [ -n "$BASH_VERSION" ] && [ -f "$HOME/.bashrc" ]; then . "$HOME/.bashrc" fi
Attention, si ~/.bash_profile ou ~/.bash_login est présent, ~/.profile est ignoré par Bash.
~/.bash_profile
~/.bash_login
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Fichiers d'initialisation bash
Posté par vv222 . En réponse au message problème d'exécution de bashrc lors du lancement d'un shell. Évalué à 2.
L’extrait pertinent de mon fichier
~/.profile, issu d’une Debian mais probablement fonctionnel à peu près partout :Attention, si
~/.bash_profileou~/.bash_loginest présent,~/.profileest ignoré par Bash.