[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