I am trying to use
machine and install PHP 7.1 on it but I am running into problems with files being locked after running
sudo apt-get update. These are the commands I am using:
sudo apt-add-repository ppa:ondrej/php sudo apt-get update sudo apt-get install php7.1
I know this may be considered a Linux issue, but this is such a basic use-case that I would hope CircleCI would want it to be possible without having to do resort to complex Bash scripting to get around this problem.
BTW, I am using
machine because I later want to my own set of Docker containers that require a sandboxed VM to operate correctly.