A better and faster variant is to use Docker using docker-global and php-dev.
I recommend installing docker directly in Linux, virtually using Virtualbox or in Windows using WSL (Windows Subsystem for Linux).
Notes:
This tutorial will create a virtual machine that includes Linux with the Ubuntu Desktop distribution.
Why a desktop version? Because it should be as easy as possible for the users.
Licence: Public Domain - Feel free to use it, but you can also improve this.
Notes:
- URL and VM can change through development
- Keyboard layout is set to german
Downloads: https://netslum.de/downloads
- UbuntuDev2018: Ubuntu 18.04, PHP >= 7.0
- UbuntuDev2016: Ubuntu 16.04, PHP >= 5.4
To develop a own virtual machine from scratch see file create.md.
To import a OVA file and configure the virtual machine see file usage.md.
No you don't... Maybe not recommended. See file desktop.md