Laravel valet change php version doesn't work on mac os

Question

I try to change PHP version used by valet, so I execute following command:

valet use [email protected]

Valet return a success message: Valet is now using [email protected].

But if I use phpinfo() on a .test website, I see that php is in 7.3.

I've changed the php version several times this way, it always worked. I don't understand what's wrong now...

Answer 1

Building on ZecKa's answer, I was able to get it working with just these commands:

valet stop
rm ~/.config/valet/valet.sock
valet start