Skip to content

Commit

Permalink
chore: add devcontainer.json (#2545)
Browse files Browse the repository at this point in the history
* chore: add devcontainer.json

* Set sockPort: location
  • Loading branch information
ylemkimon committed Sep 28, 2020
1 parent 5b76c0b commit 91113fb
Show file tree
Hide file tree
Showing 3 changed files with 16 additions and 1 deletion.
14 changes: 14 additions & 0 deletions .devcontainer/devcontainer.json
@@ -0,0 +1,14 @@
{
"name": "KaTeX Codespaces",
"image": "mcr.microsoft.com/vscode/devcontainers/javascript-node:14",
"extensions": [
"dbaeumer.vscode-eslint",
"flowtype.flow-for-vscode",
"stylelint.vscode-stylelint",
"arcanis.vscode-zipfs"
],
"settings": {
"terminal.integrated.shell.linux": "/bin/bash"
},
"postCreateCommand": "git submodule update --init --recursive && CI=true yarn install"
}
2 changes: 1 addition & 1 deletion .gitpod.yml
@@ -1,6 +1,6 @@
tasks:
- init: yarn install
command: yarn start --sockPort 443
command: yarn start
- openMode: split-right
command: echo "Run 'yarn test' to run tests."

Expand Down
1 change: 1 addition & 0 deletions webpack.dev.js
Expand Up @@ -19,6 +19,7 @@ katexConfig.devServer = {
disableHostCheck: true,
host: '0.0.0.0',
port: PORT,
sockPort: 'location',
stats: {
colors: true,
},
Expand Down

0 comments on commit 91113fb

Please sign in to comment.