PATH /etc/profile

Marco Bisetto biso@0xa0.com
Gio 27 Gen 2005 10:53:56 CET


>Su sid ho necessità di aggiungere /usr/java/j2sdk1.4.2_07/bin al PATH
>di default. Non capisco perchè modificando PATH in /etc/profile in
>PATH="/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/java/j2sdk1.4.2_
>07/bin" al riavvio non mi carichi anche /usr/java/j2sdk1.4.2_07/bin

/etc/profile non e` l'unico file di configurazione eseguito da bash,
devi verificare che la variabile PATH non venga ridefinita in uno dei
file eseguiti in seguito, perdendo la definizione iniziale. Come
suggerito da Dino, sulla man page di bash trovi una descrizione
accurata di tutti i file che vengono visitati dalle sessioni di
bash. Verifica in che modo la variabile viene settata quando bash
viene lanciato in modo interattivo o non interattivo, di login o non
di login. Altre informazioni utili si trovano negli esempi che
accompagnano bash (debian:
/usr/share/doc/bash/examples/startup-files/)

>che è quello che ho aggiunto. Il PATH viene cambiato solo se da linea
>di comando ogni volta faccio: export
>PATH=$PATH:/usr/java/j2sdk1.4.2_07/bin

Il comando export non e` dannoso in questo caso, ma e` inutile, in
quanto non occorre riesportare una variabile gia` esportata.

> Riassumendo: ~$ $PATH bash:
>/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games: No such file or
>directory ~$ export PATH=$PATH:/usr/java/j2sdk1.4.2_07/bin ~$ $PATH
>bash:
>/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games:/usr/java/j2sdk1.4.2_
>07/bin: No such file or director

Non e` buona pratica _eseguire_ una variabile per verificarne il
contenuto, molto meglio usare il comando echo:

biso@atlas:~$ echo $PATH
/home/biso/bin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games

Marco Bisetto


Maggiori informazioni sulla lista blug