[Gulli] editare bashrc

Andrea Dell'Amico adellam@sevenseas.org
Dom 19 Apr 2009 16:42:42 CEST


On Sun, 2009-04-19 at 16:05 +0200, Conraid wrote:
> * Diario del capitano. Data astrale 19 aprile 2009.
> scuol ha scritto:
> > dovrei aggiungere degli alias e vorrei che fossero letti sia dalla shell di
> > login che da xterm.
> > Va bene:
> > 
> > $ cp /etc/profile .bash_profile
> 
> questo non ti serve
> 
> metti l'alias in ~/.bashrc
> 
> 
> Poi se vuoi fare aggiungere delle cose, ed avere sempre quel che hai in
> ~/.bashrc, puoi mettere in ~/.bash_profile una cosa tipo
> 
> if [ -f ~/.bashrc ]; then
>    source ~/.bashrc
> fi

Occhio che shell interattiva e non interattiva hanno spesso esigenze
diverse, usare gli stessi profile per entrambi può creare problemi.

ciao
andrea
-- 
Officina Metropolis Pub
http://www.officinametropolis.com/
-------------- parte successiva --------------
Un allegato non testuale è stato rimosso....
Nome:        non disponibile
Tipo:        application/pgp-signature
Dimensione:  307 bytes
Descrizione: This is a digitally signed message part
URL:         <http://lists.linux.it/pipermail/gulli/attachments/20090419/58208c11/attachment.pgp>


Maggiori informazioni sulla lista Gulli