[Gulli] editare bashrc

scuola scuol@lingua.it
Dom 19 Apr 2009 16:12:26 CEST


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




Maggiori informazioni sulla lista Gulli