Skip to content

Commit 81db36d

Browse files
Added script for extra setup steps (and created needed directory)
1 parent c4e2bc1 commit 81db36d

File tree

3 files changed

+16
-0
lines changed

3 files changed

+16
-0
lines changed

src/cmsc/.devcontainer/devcontainer.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"dockerfile": "Dockerfile",
66
"context": "."
77
},
8+
"postCreateCommand": "./.devcontainer/setup-extra.sh",
89
"features": {
910
"ghcr.io/devcontainers/features/common-utils:2": {
1011
"username": "ubuntu",
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
#!/usr/bin/env bash
2+
3+
# Post-installation steps for the devcontainer
4+
# This script is run as the ubuntu user after the Dockerfile is built
5+
6+
# Exit on any error
7+
set -e
8+
9+
# Ensure this directory exists, as some tools expect it
10+
mkdir -p ~/.local/share/
11+

src/cmsc/devcontainer-template.json

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
{
22
"id": "cmsc",
3+
<<<<<<< Updated upstream
34
"version": "0.2.1",
5+
=======
6+
"version": "0.2.2",
7+
>>>>>>> Stashed changes
48
"name": "UChicago CS",
59
"description": "A devcontainer template for UChicago CS courses.",
610
"publisher": "University of Chicago - Department of Computer Science",

0 commit comments

Comments
 (0)