J'ai fait une petite confusion en essayant de faire en sorte que terminal.app utilise /opt/local/bin/bash installé à partir de macports comme shell. J'ai utilisé :
chsh -s "/opt/local/bin/bash --rcfile ~/.profile -v"
J'ai aussi essayé avec l'option -l mais je n'ai toujours pas lu ~/.profile. J'ai également défini
/opt/local/bin/bash --rcfile ~/.profile -v -l
dans les préférences de terminal.app. Une suggestion pour configurer correctement le terminal.app afin qu'il utilise /opt/local/bin/bash et charge ~/.profile ? Merci