[Gulli] editare bashrc

Fabbro Sandro fabbrosandro@gmail.com
Dom 19 Apr 2009 15:50:27 CEST


Il giorno 19 aprile 2009 16.12, scuola <scuol@lingua.it> ha scritto:

> Grazie,
>
> Sandro ha scritto:
> >Lancia questo comando nella home e poi edita il file .bashrc:
> >~/ cp /etc/profile  .bashrc
>
> Diario del capitano ha scritto:
> >~/.bashrc viene letto da una shell interattiva (xterm per esempio) e non
> >da una shell di login.
> >Per il secondo caso usa ~/.bash_profile
>
> dovrei aggiungere degli alias e vorrei che fossero letti sia dalla shell di
> login che da xterm.
> Va bene:
>
> $ cp /etc/profile .bash_profile
>
> e aggiungere gli alias?
>
> Comunque guardo man bash.
> Giuseppe
>
>
> --
> Mailing list info: http://lists.linux.it/listinfo/gulli
> Pagina web del GULLI: www.livorno.linux.it
>

http://www.coresis.com/extra/linuxcorsobase/6-1.htm
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.linux.it/pipermail/gulli/attachments/20090419/0ad39d75/attachment.htm>


Maggiori informazioni sulla lista Gulli