Issue Type

• Bug Report / Support Request

Your Environment

Vagrant 2.2.4 VirtualBox 5.2.32r132073 

Your OS

• macOS 10.12.6

Full console output

https://gist.github.com/ndouglas/253528c85a35aca7b37f6ce7ae579478

Summary

php7.3-cli seems to get installed in addition to php7.1-cli.

vagrant@drupal8:/var/www/drupalvm/docroot$ php -v PHP 7.3.8-1+ubuntu18.04.1+deb.sury.org+1 (cli) (built: Aug 7 2019 09:52:12) ( NTS ) Copyright (c) 1997-2018 The PHP Group Zend Engine v3.3.8, Copyright (c) 1998-2018 Zend Technologies with Zend OPcache v7.3.8-1+ubuntu18.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies 

This happens despite using the default php_version of "7.1" in my config.yml (and not overridden in my local.config.yml).

This is a recent issue, only experienced by myself (and a coworker) when trying to get him set up with DrupalVM.

Since my extras, etc aren't installed for PHP 7.3, scripts fail. For instance, Drupal installation fails because there's no appropriate installation of pdo_mysql. I suspect this might also be the cause behind #1962 and #1961 and #1903 (latest comments) and possibly others.

If I simply do sudo apt-get remove php7.3-cli, the package is removed and everything works fine.

I've poked around a small bit, but I haven't yet managed to figure out why the package is installed. sudo aptitude why php7.3-cli seems to blame php-yaml, but I suspect it's more complicated than that.