Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc

Installazione, configurazione e uso di programmi e strumenti.
Avatar utente
omegaub
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 342
Iscrizione: martedì 2 dicembre 2008, 12:50
Desktop: gnome
Distribuzione: Ubuntu 18.04.4 LTS
Sesso: Femminile
Località: Boschi romani

Personalizzazione shell: differenza tra /etc/profile ed /etc/bash.bashrc

Messaggio da omegaub »

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
Avatar utente
Janvitus
Amministratore
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

Messaggio da Janvitus »

Mai modificato il file con i permessi di amministratore?
+Fedora 40 • +Xubuntu 24.04
Avatar utente
omegaub
Scoppiettante Seguace
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

Messaggio da omegaub »

Si, certo, ma comunque non me lo prende

Mic perplessa
Scrivi risposta

Ritorna a “Applicazioni”

Chi c’è in linea

Visualizzano questa sezione: Bing [Bot] e 18 ospiti