6 999
contributi
Colorare bash: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
nessun oggetto della modifica
Nessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 4: | Riga 4: | ||
==Personalizzare il prompt== | ==Personalizzare il prompt== | ||
Bash è un tipo, forse il più usato, di shell per Linux. Spesso però c'è la necessità di amministrare più macchine, anche solo all'interno di una rete casalinga. Possiamo riconoscerle certamente dall'hostname, ma se vogliamo fare una cosa anche più carina oltre che utile, possiamo colorare il prompt. Per farlo basta modificare il file <code>~/.bashrc</code>. Al suo interno troveremo (se non le abbiamo cancellate in precedenza) delle righe più o meno cosi: | Bash è un tipo, forse il più usato, di [[shell]] per Linux. Spesso però c'è la necessità di amministrare più macchine, anche solo all'interno di una rete casalinga. Possiamo riconoscerle certamente dall'[[hostname]], ma se vogliamo fare una cosa anche più carina oltre che utile, possiamo colorare il prompt. Per farlo basta modificare il file <code>~/.bashrc</code>. Al suo interno troveremo (se non le abbiamo cancellate in precedenza) delle righe più o meno cosi: | ||
<pre> | <pre> | ||
| Riga 30: | Riga 30: | ||
Per l'elenco di tutte le stringhe vedere la sezione ''STRINGHE DI PROMPT'' nel manuale di bash. | Per l'elenco di tutte le stringhe vedere la sezione ''STRINGHE DI PROMPT'' nel manuale di bash. | ||
Debian utilizza un'altra variabile per distinguere l'hostname di un chroot: | Debian utilizza un'altra variabile per distinguere l'hostname di un [[chroot]]: | ||
<pre> | <pre> | ||
# set variable identifying the chroot you work in (used in the prompt below) | # set variable identifying the chroot you work in (used in the prompt below) | ||
| Riga 103: | Riga 103: | ||
Attribute codes: | Attribute codes: | ||
<pre>00=none 01=bold 04=underscore 05=blink 07=reverse 08=concealed</pre> | |||
Text color codes: | Text color codes: | ||
<pre>30=black 31=red 32=green 33=yellow 34=blue 35=magenta 36=cyan 37=white</pre> | |||
Background color codes: | Background color codes: | ||
<pre>40=black 41=red 42=green 43=yellow 44=blue 45=magenta 46=cyan 47=white</pre> | |||