Les réponses aux questions sur SO et askubuntu , ainsi que l' exploration (et la lecture des en-têtes) $HOME
et /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 $HOME
sont spécifiques à chaque utilisateur. Je rassemble également qui .profile
est chargé à la connexion alors que .bashrc
chargé quand /bin/bash
est exécuté. Je comprends également que différents programmes ont différents fichiers de paramètres (par exemple, .Rprofile
pour R). Mais j'apprécierais quelques éclaircissements:
- Les fichiers
*rc
et les*profile
fichiers 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?
INVOCATION
section dansman bash
. Voir l'FHS
article 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$HOME
répertoire de l'utilisateur .