devcontainer cannot not use sudo #1073
Description
devcontainer.json calls installPandoc.sh, which uses sudo to install Pandoc, but the PreTeXt Docker image does not contain sudo, and so an error occurs. We start as root inside the container, so there is no need to use sudo anyways.