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
Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc
- Janvitus
- Amministratore

- Messaggi: 18787
- Iscrizione: lunedì 25 aprile 2005, 15:52
- Desktop: GNOME Shell / Xfce
- Sesso: Maschile
- Località: Potenza
- Contatti:
Re: Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc
Mai modificato il file con i permessi di amministratore?
- omegaub
- Scoppiettante Seguace

- Messaggi: 342
- Iscrizione: martedì 2 dicembre 2008, 12:50
- Desktop: gnome
- Distribuzione: Ubuntu 18.04.4 LTS
- Sesso: Femminile
- Località: Boschi romani
Re: Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc
Si, certo, ma comunque non me lo prende
Mic perplessa
Mic perplessa
Chi c’è in linea
Visualizzano questa sezione: Bing [Bot] e 18 ospiti