6 999
contributi
Colorare bash: differenze tra le versioni
m
nessun oggetto della modifica
S3v (discussione | contributi) |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| (Una versione intermedia di uno stesso utente non è mostrata) | |||
| Riga 81: | Riga 81: | ||
<div style="padding: 10px; background-color: black;color: white;"> | <div style="padding: 10px; background-color: black;color: white;"> | ||
< | <code><font color="red"> *** </font>Attenzione: la dir <font color="#0FFF2F">documenti</font> sarà eliminata</code> | ||
</div> | </div> | ||
| 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 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 | ||