
⏱️ Tempo stimato di lettura
9 minuti
🧩 Difficoltà
Facile
🎯 Obiettivi
- Comprendere cosa rappresenta il prompt dei comandi
- Analizzare la sua struttura
- Personalizzare il prompt in base alle proprie esigenze
- Evitare errori comuni nella personalizzazione
🔷 Per cominciare, è importante sapere che Il prompt dei comandi è la linea che appare ogni volta che apri il terminale e indica che la shell è pronta a ricevere un comando. Può variare a seconda del sistema e delle impostazioni personali, ma di solito appare così:
utente@hostname:~$
Ecco cosa significano le parti:
utente: il nome dell’utente loggatohostname: il nome del computer~: la directory corrente (in questo caso la home)$: simbolo che indica una shell pronta per ricevere comandi
🕰️ Breve contesto storico
Il prompt, così come la shell, deriva dagli ambienti Unix degli anni ’70. Bash (Bourne Again SHell), oggi diffusissimo, eredita molte convenzioni dal passato ma permette ampie personalizzazioni tramite variabili come PS1.
✏️ Perché personalizzare il prompt?
Modificare il prompt può aiutarti a:
- Visualizzare la directory attuale
- Vedere il tempo o lo stato del comando precedente
- Personalizzare con colori per migliorare la leggibilità
🔶 Esempi pratici:
🔹 Visualizzare il prompt attuale:
echo $PS1
🔹 Modificare il prompt temporaneamente:
PS1="\u@\h:\w$ "
Mostrerà: nomeutente@computer:/cartella$
🔹 Aggiungere la data e ora:
PS1="[\d \t] \u@\h:\w$ "
🔹 Usare i colori (esempio semplificato):
PS1="\[\e[32m\]\u@\h:\w$ \[\e[0m\]"
Questo mostrerà il prompt in verde.
🟡 Attenzione: Questi cambiamenti sono temporanei. Per renderli permanenti, è necessario aggiungerli al file ~/.bashrc:
echo 'PS1="\u@\h:\w$ "' >> ~/.bashrc
🔗 Link : Ripassa la lezione su terminale e prompt 🔗 Link : Customizing your Bash prompt (GNU)
📚 Glossario tecnico:
- Prompt: stringa che indica che la shell è pronta per ricevere comandi
- PS1: variabile d’ambiente che definisce il formato del prompt
- Hostname: nome identificativo del computer
- Directory: cartella di lavoro corrente nella shell
🟢 Esercizio: Visualizza il tuo prompt con:
echo $PS1
Poi prova a modificarlo inserendo il tuo nome:
PS1="[mio_prompt]$ "
Che effetto ottieni? Scrivilo nei commenti!
🧠 Quiz veloce: Quale variabile determina la struttura del prompt in Bash?
- ☐
$HOME - ☐
$PS1 - ☐
$PATH
✅ Risposta corretta: $PS1
🔁 ➡️ Prossima lezione: Comandi base per navigare nel filesystem
🔷 Lezione 4/24 completata
❓ FAQ – Domande frequenti:
Come faccio a rendere permanente la modifica del prompt?
Devi aggiungere la nuova definizione della variabile PS1 nel file ~/.bashrc e poi eseguire source ~/.bashrc oppure riavviare il terminale.
Posso inserire emoji o simboli speciali nel prompt?
Sì, ma fai attenzione alla codifica del terminale. Alcuni simboli potrebbero non essere visualizzati correttamente in tutte le shell.
Cosa succede se sbaglio a modificare PS1?
Potresti ritrovarti con un prompt disordinato o vuoto. Chiudi il terminale e riaprilo per tornare alla configurazione salvata. Se hai salvato nel .bashrc, rimuovi o correggi la riga errata.
📢 Condividi la tua esperienza: Hai personalizzato il tuo prompt? Condividi lo screenshot nei commenti!