misc: devcontainer docker setup fix

- Legacy-Id: 19479
This commit is contained in:
nick 2021-10-27 18:44:19 +00:00
parent 1e7b44787f
commit fe502da612
3 changed files with 22 additions and 2 deletions

View file

@ -13,6 +13,7 @@ RUN apt-get -qy upgrade
# Install the packages we need
RUN apt-get install -qy \
bash \
build-essential \
bzip2 \
ca-certificates \
@ -117,8 +118,9 @@ RUN pip3 --disable-pip-version-check --no-cache-dir install -r /tmp/pip-tmp/requ
&& rm -rf /tmp/pip-tmp
COPY .devcontainer/init.sh /docker-init.sh
RUN chmod +x /docker-init.sh
ENTRYPOINT ["/docker-init.sh"]
RUN sed -i 's/\r$//' /docker-init.sh && \
chmod +x /docker-init.sh
# ENTRYPOINT ["/usr/local/share/datatracker/.devcontainer/init.sh"]
CMD ["sleep", "infinity"]
# [Optional] Uncomment this section to install additional OS packages.

View file

@ -6,6 +6,7 @@
"service": "app",
"workspaceFolder": "/usr/local/share/datatracker",
"shutdownAction": "stopCompose",
"postCreateCommand": "/docker-init.sh",
// Set *default* container specific settings.json values on container create.
"settings": {

17
.vscode/tasks.json vendored
View file

@ -41,6 +41,23 @@
"clear": false
},
"problemMatcher": []
},
{
"label": "Re-run Setup Project",
"type": "shell",
"command": "/bin/bash",
"args": [
"/docker-init.sh"
],
"presentation": {
"echo": true,
"reveal": "always",
"focus": true,
"panel": "new",
"showReuseMessage": false,
"clear": false
},
"problemMatcher": []
}
]
}