Punto informatico Network

Canali
20100302175731_921413836_20100302175710_1291585294_TerminalMLI_spotlight.png

Come cambiare il prompt di Bash

22/04/2010
- A cura di
Linux & Open Source - La variabile di sistema PS1 contiene il prompt di Bash. In questo articolo vi mostrerò come cambiarla per rendere la console testuale un po' meno... indecifrabile.

Tag

Passa qui con il mouse e visualizza le istruzioni per utilizzare i tag!

linux (1) , prompt (1) , gnu/linux (1) , bash (1) .

Valutazione

  •  
Voto complessivo 4.5 calcolato su 30 voti

Tra tutte le variabili d'ambiente della shell Bash, PS1 è probabilmente una delle più versatili e personalizzabili, ed i suoi effetti possono essere osservati immediatamente.

PS1, infatti, non è altro che la "struttura" del prompt della shell, e la sua modifica equivale all'utilizzo del comando prompt nel DOS o nelle sue emulazioni recenti in sistemi operativi Microsoft come Windows XP, Windows Vista o Windows 7.

Una raccomandazione

Prima di cominciare, ricordate che il prompt classico di Bash

user@localhost:~$

Contiene molte informazioni, e se doveste commettere degli errori potreste vederlo confuso o mal posto, come

user@\[033[\\h:

Il che non è né bello da vedere, né granchè utilizzabile. Sebbene a Bash non interessi che cosa sta scritto nel prompt, per l'utente potrebbe importare molto sapere dove si trova nell'albero delle directory, con quale nome è connesso e a che macchina. Quindi nel corso dell'articolo vi insegnerò anche a porre rimedio ad eventuali problemi in cui potreste inciampare.

Ricordate anche che un prompt come il seguente

bash-x.x#

È il default di Bash quando nessun altro prompt è definito. Equivale a porre

PS1='\s-\v\$ '

Dove x.x (l'elemento \v) sono i numeri di versione major e minor di Bash.

Pagina successiva
Aspetto del prompt

 

Segnala ad un amico

Tuo nome Tuo indirizzo e-mail (opzionale)
Invia a:
    Aggiungi indirizzo email
    Testo

    megalab.it: testata telematica quotidiana registrata al Tribunale di Cosenza n. 22/09 del 13.08.2009, editore Master New Media S.r.l.; © Copyright 2017 Master New Media S.r.l. a socio unico - P.I. 02947530784. GRUPPO EDIZIONI MASTER Spa Tutti i diritti sono riservati. Per la pubblicità: Master Advertising

    • Gen. pagina: 0.24 sec.
    •  | Utenti conn.: 88
    •  | Revisione 2.0.1
    •  | Numero query: 21
    •  | Tempo totale query: 0.11