chore: add devcontainer.json #2545
Conversation
Codecov Report
@@ Coverage Diff @@
## master #2545 +/- ##
=======================================
Coverage 93.83% 93.83%
=======================================
Files 84 84
Lines 6145 6145
Branches 1260 1260
=======================================
Hits 5766 5766
Misses 348 348
Partials 31 31 Continue to review full report at Codecov.
|
| @@ -19,6 +19,7 @@ katexConfig.devServer = { | |||
| disableHostCheck: true, | |||
| host: '0.0.0.0', | |||
| port: PORT, | |||
| sockPort: 'location', | |||
There was a problem hiding this comment.
The docs do say anything about "location". What does this setting do?
There was a problem hiding this comment.
@kevinbarabash It makes webpack-dev-server to use the browser's location port as the socket port: webpack/webpack-dev-server#2341. For instance, when developing locally in http://localhost:7936, it uses 7936, and using GitPod or codespaces, they are tunneled using HTTPS, so it uses 443. This eliminates the need to set --sockPort 443 manually.
| "dbaeumer.vscode-eslint", | ||
| "flowtype.flow-for-vscode", | ||
| "stylelint.vscode-stylelint", | ||
| "arcanis.vscode-zipfs" |
There was a problem hiding this comment.
@kevinbarabash Yarn 2 uses a zip-based file system, so this extension allows us to browse into a zip file in vscode.
|
Since it's still in limited beta, it can be started from https://github.com/codespaces. Maybe when it's general availability, a badge or button to start it may be added. |
Configuration for GitHub Codespaces and Visual Studio Codespaces.