Colorare bash: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
m
nessun oggetto della modifica
mNessun oggetto della modifica
Riga 142: Riga 142:
</pre>
</pre>
visualizzerà i nomi delle directory in grassetto, in giallo e su sfondo blu.<br/>
visualizzerà i nomi delle directory in grassetto, in giallo e su sfondo blu.<br/>
Per altri utenti, compreso [[root]], le modifiche vanno ripetute.
Le modiche vanno rese effettive chiudendo e riaprendo la finestra di emulatore del terminale oppure, se vi trovate in tty, con:
<pre>$ . ~/.bashrc</pre>
Per altri utenti, compreso [[root]], bisogna ripetere il procedimento.


{{Autori
{{Autori
6 999

contributi

Menu di navigazione