Par défaut, le $HOME
est définie sur votre répertoire personnel, vous n'avez rien à faire vous-même en .bash_profile
. Je pense que quelque chose ne va pas dans le processus de démarrage de votre session Terminal. Il est probable que votre ~/.bash_profile
est corrompu.
Vous pouvez réparer ça sans votre terminal :
- Ouvrez TextEdit et appuyez sur CommandO pour ouvrir un fichier.
- Appuyez sur CommandShiftG et saisissez
~/
pour aller dans votre répertoire personnel.
- Maintenant, appuyez sur CommandShift. cela vous permettra de voir les fichiers cachés.
- Ouvrir
.bash_profile
créer une sauvegarde si nécessaire, supprimer le contenu et sauvegarder.
Cela devrait régler votre problème. Vous pouvez essayer ceci pour ~/.profile
(s'il existe) également.
Vous pouvez vérifier votre HOME
variable en ouvrant le terminal et le type :
echo $HOME
Vous obtiendrez ainsi votre répertoire personnel actuel. Il est fort probable que vous ne souhaitiez pas le modifier. Mais si c'est le cas, il est préférable de le modifier juste avant d'exécuter la commande, et non pas dans votre répertoire de base. .bash_profile
.
Cet exemple vous montrera comment changer votre HOME temporairement (pour Bash) :
# store original HOME location ('/User/CousinCocaine')
ORIGHOME="$HOME"
# set new home location
HOME="/User/CousinCocaine/my/new/home/is/here"
# check new home location
echo "~/ " ~/
echo "\$HOME "$HOME""
# set home location back to original
HOME="$ORIGHOME"
# test old home location
echo "~/ " ~/
echo "\$HOME "$HOME""