Configurazione della shell: `.bashrc`, `.zshrc`, `.profile`

Si è mai chiesto come faccia il terminale a conoscere le Sue scorciatoie preferite o il Suo aspetto personalizzato? Il merito è dei file di configurazione della shell!

Sono file speciali e nascosti nella directory home, che indicano alla shell, come Bash o Zsh, come comportarsi e cosa caricare ogni volta che si avvia una nuova sessione.

Configurare la shell è come allestire l'area di lavoro perfetta. Consente di:

• Automatizzare le attività: creare scorciatoie per i comandi lunghi.
• Personalizzare l'aspetto: modificare il prompt per mostrare informazioni utili.
• Configurare l'ambiente: definire variabili e percorsi per i programmi.

La riga di comando diventa così più efficiente e piacevole da usare!

Per gli utenti Bash, .bashrc è uno dei file di configurazione più comuni. Viene eseguito ogni volta che si apre una nuova shell Bash interattiva non di login, ad esempio quando si apre una nuova finestra del terminale.

È il posto ideale per:

• Definire gli alias (scorciatoie per i comandi).
• Creare funzioni della shell.
• Personalizzare il prompt della shell.

Il file .profile viene eseguito quando si accede al sistema. Questo avviene spesso una sola volta all'inizio della sessione, ad esempio dopo l'avvio del sistema e l'accesso o dopo una connessione tramite SSH.

In genere viene usato per le impostazioni che devono applicarsi a tutti i programmi eseguiti, non solo alla shell. Tra gli utilizzi comuni:

• Impostare le variabili d'ambiente, come PATH.
• Definire configurazioni a livello di sistema.

È fondamentale comprenderne la differenza:

• .bashrc: per le shell interattive non di login. Viene eseguito ogni volta che si apre un nuovo terminale. È ideale per le personalizzazioni specifiche della shell, come alias e funzioni.
• .profile: per le shell di login. Viene eseguito una volta quando si accede al sistema. È ideale per le variabili d'ambiente che influiscono su tutti i processi.

Spesso .profile esegue il source di .bashrc per mantenere una configurazione coerente.

Questi file sono semplici file di testo, quindi è possibile modificarli con qualsiasi editor di testo. Una scelta comune nel terminale è nano.

Per modificare la configurazione di Bash, si digita:

Ricordi di salvare le modifiche (Ctrl+O in nano) e di uscire (Ctrl+X).

Dopo aver modificato un file di configurazione, le modifiche non sono immediatamente attive. È necessario indicare alla shell corrente di rileggere il file.

Per farlo si usa il comando source (o la sua forma abbreviata, un singolo punto .):

La shell acquisirà così le nuove impostazioni senza dover aprire una nuova finestra del terminale.

Gli alias sono comandi brevi e personalizzati che rappresentano comandi più lunghi. In genere vengono definiti in .bashrc o .zshrc.

Esempio: per elencare tutti i file, inclusi quelli nascosti, si può digitare ls -alF. Un alias può abbreviare questo comando:

Dopo aver ricaricato la configurazione, sarà sufficiente digitare ll!

Per le attività più complesse, le funzioni della shell sono fondamentali. Consentono di raggruppare più comandi e di usare argomenti.

Ecco una semplice funzione che crea una directory e vi accede immediatamente:

Aggiunga questo codice al Suo .bashrc, ricarichi il file e poi provi mkcd mynewdir.

Se usa Zsh, il file di configurazione principale è .zshrc. Svolge una funzione simile a quella di .bashrc di Bash.

Zsh è noto per le sue potenti funzionalità e per framework della community come Oh My Zsh, che si basa molto su .zshrc per i propri plugin e temi.

Ottimo lavoro! Ora sa come configurare la shell Linux.

• .bashrc/.zshrc: per le personalizzazioni delle shell interattive, come alias e funzioni.
• .profile: per le impostazioni d'ambiente a livello di login, come PATH.
• Usi un editor di testo come nano per modificarli.
• Applichi le modifiche con il comando source.

Personalizzare la shell rende l'esperienza nel terminale più potente e su misura!