soluzioni

Si edita il file .bash_profile inserendo la riga PATH=... ed aggiungendo la variabile PATH nell'export

[steffe@lab2 steffe]$ cat .bash_profile
# .bash_profile

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

# User specific environment and startup programs
#          ** aggiunte fatte  al PATH **
PATH=$PATH:$HOME/bin:/sbin:/usr/sbin:.
BASH_ENV=$HOME/.bashrc
USERNAME=""

export USERNAME BASH_ENV PATH

come risultato:

[steffe@lab2 steffe]$ echo $PATH
/usr/kerberos/bin:/usr/local/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/local/axiom/mnt/linuxglibc2.1/compiler/bin:/usr/local/axiom/mnt/linuxglibc2.1/bin:/home/steffe/bin:/sbin:/usr/sbin:.

Si noti che alcuni PATH (come /usr/local/axiom/... ) sono stati evidentemente aggiunti dai sistemisti.

CHIUDI

Laboratorio di Comunicazione mediante Calcolatore - Sergio Steffè - AA 2016/2017 - PISA