Colorare bash: differenze tra le versioni

m
nessun oggetto della modifica
(aggiunto template autori)
mNessun oggetto della modifica
 
(4 versioni intermedie di uno stesso utente non sono mostrate)
Riga 1: Riga 1:
{{Versioni compatibili}}
{{Versioni compatibili}}
__TOC__
==Personalizzare il prompt==
==Personalizzare il prompt==


Riga 83: Riga 81:


<div style="padding: 10px; background-color: black;color: white;">
<div style="padding: 10px; background-color: black;color: white;">
<tt><font color="red"> *** </font>Attenzione: la dir <font color="#0FFF2F">documenti</font> sarà eliminata</tt>
<code><font color="red"> *** </font>Attenzione: la dir <font color="#0FFF2F">documenti</font> sarà eliminata</code>
</div>
</div>


Riga 109: Riga 107:
<pre>40=black 41=red 42=green 43=yellow 44=blue 45=magenta 46=cyan 47=white</pre>
<pre>40=black 41=red 42=green 43=yellow 44=blue 45=magenta 46=cyan 47=white</pre>


==Colorare l'output di ls==
Quando viene eseguito il comando "ls" avrete notato che i nomi delle directory vengono colorati in un modo (di default in blu) come anche i file in base alla loro estensione. Stesso discorso anche per i link, le pipe etc.<br/>
Ciò è dovuto alle seguenti righe presenti nel file <code>.bashrc</code> :
<pre>
# enable color support of ls and also add handy aliases
if [ -x /usr/bin/dircolors ]; then
    eval "`dircolors -b .dircolors`"
..
</pre>
se avete installato Debian da un po' di tempo, oppure:
<pre>
# enable color support of ls and also add handy aliases
if [ -x /usr/bin/dircolors ]; then
    test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)"
..
</pre>
per le nuove installazioni. Cambiate il vostro file <code>.bashrc</code> in questo modo se si presenta nella prima forma ed eseguite un:
<pre>$. .bashrc</pre>
per rendere effettive le modifiche.
Ora, come si vede, ad occuparsi dei colori è <code>dircolors</code>. Si può visualizzare il database di <code>dircolors</code> con il comando:
<pre>$ dircolors -p</pre>
in cui sono presenti le varie associazioni oggetto/colore. Per modificarle eseguite:
<pre>$ dircolors -p > ~/.dircolors</pre>
con cui verrà creato nella vostra home un file nascosto chiamato <code>.dircolors</code> .
Adesso si può modificare questo file nel modo che si preferisce; ad esempio, per cambiare il colore delle directory da blu a giallo, si può modificare la riga corrispondente in questo modo:
<pre>
DIR 01;33 # directory
</pre>
oppure si può aggiungere un'estensione di file che non si trova in lista o inserire un background al testo.<br/>
I colori sono nella forma "stile_carattere;colore_testo;colore_sfondo". Per cui:
<pre>
DIR 01;33;44
</pre>
visualizzerà i nomi delle directory in grassetto, in giallo e su sfondo blu.<br/>
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
|Autore = [[Utente:Bedo|Bedo]]
|Autore = [[Utente:Bedo|Bedo]]
|Verificata_da = [[Utente:TheNoise|~ The_Noise]]
|Verificata_da =
|Estesa_da = [[Utente:TheNoise|~ The_Noise]]
:[[Utente:TheNoise|~ The_Noise]]
|Estesa_da =
:[[Utente:TheNoise|~ The_Noise]]
:[[Utente:S3v|S3v]] (colorare ls)
|Numero_revisori = 1
|Numero_revisori = 1
}}
}}


[[Categoria:Bash]]
[[Categoria:Bash]]
6 999

contributi