soluzioni


Si edita il file .bash_profile inserendo la riga PATH=... ed aggiungendo la variabile PATH nell'export
[steffe@dida1 steffe]$ cat .bash_profile
# .bash_profile

# Get the aliases and functions
if [ -f ~/.bashrc ]; then
        . ~/.bashrc
fi

# User specific environment and startup programs

PATH=$PATH:$HOME/bin:/sbin:/usr/sbin:.
BASH_ENV=$HOME/.bashrc
USERNAME=""

export USERNAME BASH_ENV PATH

come risultato:
[steffe@dida1 steffe]$ echo $PATH
/bin:/usr/bin:/usr/local/bin:/usr/X11R6/bin:/usr/X11R6/bin:/usr/local/bin:
/usr/java/jdk1.3.1_01/bin:/usr/java/jre1.3.1.1_01/bin:
/share/live/axiom/mnt/linuxglibc2.1/compiler/bin:/share/live/axiom/mnt/linuxglibc2.1/bin:
/home/steffe/bin:/sbin:/usr/sbin:.
 
CHIUDI

Laboratorio di Comunicazione mediante Calcolatore - Sergio Steffè - AA 2001/2002 - PISA