I’ve been a staunch Docker user, because I hate dealing with the infamous “but it works on my machine” problem. As far as I’m concerned, Docker made Vagrant obsolete.
I’ve read that devenv.sh has many advantages over Docker, such as speed of operation. I know that Docker is still being used for Continuous Integration (such as GitHub Actions and GitLab CI), but I’m now wondering if dotenv.sh (or anything else) would be better for my local development environment.
I’d like to know about your experiences. If you’ve made the switch from Docker to devenv.sh (or anything else), please tell your story. If you’ve seriously tried devenv.sh (or anything else that claims to be better than Docker) but didn’t like it for some reason, please explain why.