You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: templates/devcontainer.json
+7-4Lines changed: 7 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -8,7 +8,10 @@
8
8
// If you only intend to build for web and don't have any latex-image generated assets, you can use a smaller image:
9
9
// "image": "oscarlevin/pretext:lite",
10
10
11
-
11
+
// Add gh cli as a feature (to support chodechat)
12
+
"features": {
13
+
"ghcr.io/devcontainers/features/github-cli:1": {}
14
+
},
12
15
13
16
// The following was the previous version of this file, which used the Codespaces base image. It is still available for reference, but is not recommended.
0 commit comments