Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
"ghcr.io/devcontainers/features/docker-in-docker:2": {}
},
"postCreateCommand": "/bin/bash /opt/devcontainer/postCreate.sh ${containerWorkspaceFolder}",
"postStartCommand": "./scripts/post_start.sh",
"postStartCommand": "opensafely pull ehrql",
"postAttachCommand": "/bin/bash /opt/devcontainer/postAttach.sh",
"forwardPorts": [
8787
Expand Down
7 changes: 0 additions & 7 deletions docs_src/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,6 @@ You may see a page requesting additional permissions on `opensafely/server-instr

The codespace will take a few minutes to launch. Please wait!

!!! Warning
The codespace will launch with the updated version of ehrQL and R that you need
for this workshop. You should ignore any terminal reminders to run `opensafely pull`,
as this will replace the custom R images that we are using. If you need to, you can
update the R images again by running `update_r` in your codespace terminal.


## Saving changes to your repo

If you make changes to your repo during the workshop that you would like to keep, you
Expand Down
7 changes: 0 additions & 7 deletions scripts/configure_r_image.sh

This file was deleted.

18 changes: 0 additions & 18 deletions scripts/post_start.sh

This file was deleted.

3 changes: 0 additions & 3 deletions scripts/update_r_instructions

This file was deleted.