Ho visto alcuni screencast qualche tempo fa in cui qualcuno aveva un fulmine invece che $sul prompt della bash.
Qualcuno sa come fare questo?
Ho visto alcuni screencast qualche tempo fa in cui qualcuno aveva un fulmine invece che $sul prompt della bash.
Qualcuno sa come fare questo?
Risposte:
Questa pagina spiega come impostare il tuo bash promt. Come dice @ulidtko, puoi usare ⚡come esempio di simbolo di un fulmine. Per impostare questo, utilizzare:
export PS1=⚡
Perderai comunque tutto il resto nel prompt che avevi prima (non solo i $). Quello che avevi prima dipende dalla tua distribuzione. Nella mia configurazione di Ubuntu 10.10 è di \[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$default, che puoi ottenere eseguendo echo $PS1. Per usare il mio come esempio, per cambiare semplicemente $in a ⚡, esegui:
export PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w⚡ "
Per apportare questa modifica a tutte le shell bash, aggiungi la riga sopra al tuo ~/.bashrcfile.
Il risultato è così:
marcog@minime:~⚡ echo hello world
hello world
Ci sono alcuni simboli simili a fulmini in Unicode, tra questi c'è U + 2607 LIGHTNING ( ☇), anche se tutto ciò che si avvicina al realistico richiederebbe un carattere speciale con un glifo vero fulmine.