Le risposte alle domande su SO e askubuntu , insieme a dare un'occhiata (e leggere le intestazioni di) $HOME
e /etc/
, indicano un numero di file che possono essere utilizzati per impostare le variabili di ambiente, tra cui:
~/.profile
~/.bashrc
~/.bash_profile
~/.gnomerc
~/.Rprofile
/etc/bash_bashrc
/etc/profile
/etc/screenrc
Raccolgo che i file /etc/
funzionano per tutti gli utenti mentre i file in $HOME
sono specifici dell'utente. Ho anche capito che .profile
viene caricato all'accesso mentre .bashrc
caricato quando /bin/bash
viene eseguito. Capisco anche che programmi diversi hanno file di impostazioni diverse (ad es. .Rprofile
Per R). Gradirei alcuni chiarimenti:
- Sono
*rc
e*profile
file di fondamentalmente diverso? - Qual è lo scopo di tali file (ad es. Quali file sono comunemente usati con Linux)
- Esiste una gerarchia (ad esempio
.bashrc
sovrascrive le variabili impostate in.settings
) - Qual è un buon riferimento per questa classe di file? Per le opzioni in questi file?
INVOCATION
sezione inman bash
. Vedi l'FHS
articolo wiki sui filesystem Linux. Questo ti darà un buon inizio e risponderà a un paio di queste domande. I file con un punto precedente (.
) sono in genere specifici dell'utente: risiedono nella$HOME
directory dell'utente .