Quindi sto provando a fare una sorta di pulizia sul mio mac OS .bash_profile (ho avuto alcuni problemi con esso), e ora quando lo faccio echo $PATH
sul mio Terminale ottengo quanto segue:
/Library/Java/JavaVirtualMachines/jdk1.8.0_131.jdk/Contents/Home
:/usr/local/sbin
:/usr/local/sbin
:/usr/local/sbin
:/usr/local/bin
:/usr/bin
:/bin
:/usr/sbin
:/sbin
:/Users/herrmartell/bin
:/usr/local/bin/mysql/bin
:/Users/herrmartell/bin
:/usr/local/bin/mysql/bin
:/Users/herrmartell/bin
:/usr/local/bin/mysql/bin
Come puoi vedere, è abbastanza il numero di voci duplicate. Il che è strano, perché è così che appare il mio .bash_profile:
export PATH=$PATH:$HOME/bin
export PATH="/usr/local/sbin:$PATH"
export MYSQL_PATH="/usr/local/bin/mysql"
export PATH=$PATH:$MYSQL_PATH/bin
export JAVA_HOME="/path/is/too/long/sorry"
export PATH=${JAVA_HOME}:$PATH
Ho provato a cercare un altro file di profilo .bash_profile / .bash * /. Che potrebbe sovrascrivere il mio, ma non ne ho trovato nessuno, inoltre le modifiche apportate a questo file si riflettono sui miei echo $PATH
risultati.
Ho trovato qualcosa di correlato, ma è su Ubuntu e ad essere sincero mi sono perso: perché ottengo voci duplicate nel mio $ PATH? , e poi qualcosa su Unix (perdimi anche io, scusa): voci duplicate in $ PATH sono un problema?
Finora, non mi sta dando problemi, ma vorrei evitare di risolverli in futuro.
Cosa c'è di sbagliato nel mio file allora? Grazie.