genezeta 9 hours ago Note that this is not an official PHP tool but something tied to Laravel and a tool called Herd.The installation script is kind of sketchy and does not always check for existing installations and may mess with paths.
pachico 7 hours ago Why not set the environment by spawning the proper docker containers rather than having to choose for a specific version of PHP and its dependencies?And this, of course, applied to as many things as possible.
Note that this is not an official PHP tool but something tied to Laravel and a tool called Herd.
The installation script is kind of sketchy and does not always check for existing installations and may mess with paths.
Why not set the environment by spawning the proper docker containers rather than having to choose for a specific version of PHP and its dependencies?
And this, of course, applied to as many things as possible.