# docker.devbox Docker image for development box