next up previous contents index
Next: Aliasing Up: Personalizzare bash Previous: Avvio della shell

File di avvio

Dato che la maggior parte degli utenti vogliono avere lo stesso ambiente in qualsiasi shell, interattiva, di login o no, iniziamo con un comando molto semplice da mettere nel file .bash_profile: ``source ~/.bashrc''. Il comando source  dice alla shell di interpretare l'argomento come uno script di shell. Per noi questo significa che ogni volta che viene eseguito .bash_profile, viene eseguito anche .bashrc.

Ora aggiungeremo semplicemente dei comandi al file .bashrc. Se volete che un comando sia valido solo per una shell di login, aggiungetelo a .bash_profile.



Eugenia Franzoni
1998-09-29