.bash_profile
est un script qui est exécuté chaque fois que vous démarrez un nouveau shell. Sous Linux, il est appelé dans des circonstances différentes de celles du .bashrc
, mais sous OS X, il fonctionne exactement de la même manière. Toute commande que vous ajoutez au fichier sera exécutée chaque fois que vous ouvrirez une nouvelle fenêtre de terminal (ce qui lancera un nouveau shell interactif).
$PATH
est une variable qui indique au shell où chercher les fichiers exécutables - ainsi, lorsque vous tapez une commande, le système cherchera dans chaque répertoire spécifié dans cette variable jusqu'à ce qu'il trouve un programme exécutable portant le nom de cette commande. La commande
prépare le répertoire export PATH=/usr/local/bin:$PATH
au PATH actuel, de sorte qu'il devient le premier répertoire recherché par le shell.
/usr/local/bin
est un fichier texte normal - vous pouvez l'éditer avec n'importe quel éditeur de texte, y compris .bash_profile
ou vi
, ou même un éditeur graphique comme TextEdit. C'est vous qui décidez - n'oubliez pas de l'enregistrer en tant que fichier de texte brut.