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