Skip to content

Commit 8826134

Browse files
authored
Merge pull request #206 from alex-ball/patch-devc
Add dev container support
2 parents d2bcba1 + 5be1cc4 commit 8826134

2 files changed

Lines changed: 35 additions & 0 deletions

File tree

.devcontainer/Dockerfile

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
FROM ghcr.io/carpentries/workbench-docker:latest
2+
3+
## this could be used to run userland scripts e.g.
4+
## users could add specific dependencies or configurations
5+
## RUN scripts/userland.sh

.devcontainer/devcontainer.json

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
{
2+
"forwardPorts": [8787],
3+
"portsAttributes": {
4+
"8787": {
5+
"label": "RStudio Server",
6+
"onAutoForward": "notify"
7+
}
8+
},
9+
"remoteUser":"rstudio",
10+
"workspaceMount": "source=${localWorkspaceFolder},target=/home/rstudio/lessons/${localWorkspaceFolderBasename},type=bind",
11+
"workspaceFolder": "/home/rstudio/lessons/${localWorkspaceFolderBasename}",
12+
"mounts": [
13+
"source=${localEnv:HOME}${localEnv:USERPROFILE}/.ssh,target=/home/rstudio/.ssh,type=bind,consistency=cached",
14+
"source=${localEnv:HOME}${localEnv:USERPROFILE}/.gnupg,target=/home/rstudio/.gnupg,type=bind,consistency=cached"
15+
],
16+
"build": {
17+
"dockerfile": "Dockerfile",
18+
"context": ".."
19+
},
20+
"postCreateCommand": {
21+
"pre_echo": "echo 'Installing lesson prerequisites - please wait...'",
22+
"gpg_reset": "gpgconf --kill all",
23+
"lesson_deps": "Rscript /home/rstudio/.workbench/setup_lesson_deps.R",
24+
"fortify": "Rscript /home/rstudio/.workbench/fortify_renv_cache.R"
25+
},
26+
"containerEnv": {
27+
"DISABLE_AUTH": "true",
28+
"GPG_TTY": "/dev/pts/0"
29+
}
30+
}

0 commit comments

Comments
 (0)