% BASH # Ajout de chemin dans PATH (.bashrc ou .bash_profile) ```bash if [[ ! $(echo "$PATH" | grep -F "$HOME/bin") =~ $HOME/bin ]] then export PATH=$PATH:"$HOME/bin" fi ``` # Environnement macOS ## Shell par défaut sous macOS ```bash sudo nano /etc/shells ``` Y ajouter : ``` /opt/homebrew/bin/bash ``` Puis exécuter: ```bash chsh -s /opt/homebrew/bin/bash ``` ## Outils par défauts GNU ```bash brew install coreutils gnu-sed gnu-grep gawk ``` Puis ajouter dans le PATH: ``` export PATH="/opt/homebrew/opt/coreutils/libexec/gnubin:$PATH" export PATH="/opt/homebrew/opt/gnu-sed/libexec/gnubin:$PATH" export PATH="/opt/homebrew/opt/gnu-grep/libexec/gnubin:$PATH" ```