Les réponses aux questions sur SO et askubuntu , ainsi que l' exploration (et la lecture des en-têtes) $HOMEet /etc/, indiquent un nombre de fichiers pouvant être utilisés pour définir des variables d'environnement, notamment:
~/.profile~/.bashrc~/.bash_profile~/.gnomerc~/.Rprofile/etc/bash_bashrc/etc/profile/etc/screenrc
Je suppose que les fichiers /etc/fonctionnent pour tous les utilisateurs, alors que ceux-ci $HOMEsont spécifiques à chaque utilisateur. Je rassemble également qui .profileest chargé à la connexion alors que .bashrcchargé quand /bin/bashest exécuté. Je comprends également que différents programmes ont différents fichiers de paramètres (par exemple, .Rprofilepour R). Mais j'apprécierais quelques éclaircissements:
- Les fichiers
*rcet les*profilefichiers sont-ils fondamentalement différents? - Quelle est la portée de tels fichiers (par exemple, quels fichiers sont couramment utilisés avec Linux)
- Existe-t-il une hiérarchie (
.bashrcécrasement des variables définies par exemple.settings) - Qu'est-ce qu'une bonne référence pour cette classe de fichiers? Pour les options de ces fichiers?
INVOCATIONsection dansman bash. Voir l'FHSarticle du wiki sur les systèmes de fichiers Linux. Cela vous donnera un bon départ et répondra à quelques-unes de ces questions. Les fichiers avec un point précédent (.) sont généralement spécifiques à l'utilisateur - ils résident dans le$HOMErépertoire de l'utilisateur .