updated the post Devbox setup with vagrant