|
1 | 1 | { |
2 | | - "name": "Jupyter app", |
| 2 | + "name": "Workbench Example Jupyter App", |
3 | 3 | "dockerComposeFile": "docker-compose.yaml", |
4 | 4 | "service": "app", |
5 | 5 | "shutdownAction": "none", |
6 | 6 | "workspaceFolder": "/workspace", |
| 7 | + // This post create command is required to set up the user environment with |
| 8 | + // the Workbench CLI and mount workspace resources. To add additional setup |
| 9 | + // commands, specify a string shell command instead. |
| 10 | + // "postCreateCommand": "./startupscript/post-startup.sh 'jovyan' '/home/jovyan' '${templateOption:cloud}' '${templateOption:login}' && echo 'Additional setup commands can go here.'", |
7 | 11 | "postCreateCommand": [ |
8 | 12 | "./startupscript/post-startup.sh", |
9 | | - "jovyan", |
| 13 | + "jovyan", // This must be the user inside the container and their home directory. |
10 | 14 | "/home/jovyan", |
11 | 15 | "${templateOption:cloud}", |
12 | 16 | "${templateOption:login}" |
13 | 17 | ], |
14 | | - // re-mount bucket files on container start up |
| 18 | + // Re-mount workspace resources on container start up |
15 | 19 | "postStartCommand": [ |
16 | 20 | "./startupscript/remount-on-restart.sh", |
17 | 21 | "jovyan", |
|
20 | 24 | "${templateOption:login}" |
21 | 25 | ], |
22 | 26 | "features": { |
23 | | - "ghcr.io/devcontainers/features/java@sha256:df67d6ff6e9cdd858207ae9e92a99ddb88384b789f79eecd6f873216e951d286": { |
| 27 | + // The below features are required for the Workbench CLI. If the image |
| 28 | + // already comes with these features, they can be omitted. Feel free to add |
| 29 | + // other devcontainer features as desired (see |
| 30 | + // https://containers.dev/features). |
| 31 | + "ghcr.io/devcontainers/features/java:1": { |
24 | 32 | "version": "17" |
25 | 33 | }, |
26 | | - "ghcr.io/devcontainers/features/aws-cli@sha256:bbc9fd513c22e331953126c75ad7b2ed1f9044f1cd5890b7073b634810459b18": {}, |
27 | | - "ghcr.io/dhoeric/features/google-cloud-cli@sha256:fa5d894718825c5ad8009ac8f2c9f0cea3d1661eb108a9d465cba9f3fc48965f": {} |
| 34 | + "ghcr.io/devcontainers/features/aws-cli:1": {}, |
| 35 | + "ghcr.io/dhoeric/features/google-cloud-cli:1": {} |
28 | 36 | }, |
| 37 | + // This is the user that will run the post create and post start commands. |
29 | 38 | "remoteUser": "root", |
30 | 39 | "customizations": { |
31 | 40 | "workbench": { |
|
0 commit comments