Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc
Inviato: giovedì 2 febbraio 2012, 18:51
Ciao a tutti.
La mia domanda di oggi è ralativa alla personalizzazione della shell. Ho fatto la modifica della PS1 nel file /etc/bash.bashrc, ho riavviato la shell con il comando source, lì per lì la modifica è stata acquisita, subito dopo sparische. Se apro un altro terminale è come se non avessi fatto nessuna modifica. Ho visto che anche all'interno del file /etc/profile è definita la formattazione della PS1, ma come funzionano? Qual è quella che prevale?
Grazie a tutti!
Mic
La mia domanda di oggi è ralativa alla personalizzazione della shell. Ho fatto la modifica della PS1 nel file /etc/bash.bashrc, ho riavviato la shell con il comando source, lì per lì la modifica è stata acquisita, subito dopo sparische. Se apro un altro terminale è come se non avessi fatto nessuna modifica. Ho visto che anche all'interno del file /etc/profile è definita la formattazione della PS1, ma come funzionano? Qual è quella che prevale?
Grazie a tutti!
Mic