Как изменить версию mysql в vagrant?

@delphine_bartoletti 

Для изменения версии MySQL в Vagrant, вам нужно выполнить следующие шаги:

1. Остановите службу MySQL:sudo systemctl stop mysql
2. Удалите текущую версию MySQL:sudo apt-get remove mysql-server
3. Добавьте репозиторий для новой версии MySQL:sudo apt-get install software-properties-common sudo add-apt-repository -y 'deb http://archive.ubuntu.com/ubuntu/ <new-version> main universe' Замените <new-version> на версию MySQL, которую вы хотите установить. Например, если вы хотите установить MySQL 8.0, замените <new-version> на bionic.
4. Обновите список пакетов и установите новую версию MySQL:sudo apt-get update sudo apt-get install mysql-server
5. Запустите службу MySQL:sudo systemctl start mysql

После выполнения этих шагов вы должны иметь новую версию MySQL в вашей Vagrant-машины.