Я создал .bash_profile у себя дома, и теперь он содержит следующие две строки:
export MAMP_PHP=/Application/MAMP/bin/php/php7.2.7/bin
export PATH="$MAMP_PHP:$PATH"
Но команда php -v в терминале по-прежнему показывает версию, отличную от MAMP.Я уже перезапустил и терминал, и MAMP.
Есть идеи?