I was searching for an easy way to switch php versions on my linux nginx development environment. And found a pretty good guide:https://pehapkari.cz/blog/2017/03/27/multiple-php-versions-the-easy-way
The solution had two downsides for me.
