tutorials-kr/.devcontainer/devcontainer.json at dca24369204294928ea22f68b927672f17a569f7 · PyTorchKorea/tutorials-kr · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
{
  // devcontainer name
  "name": "PyTorchKorea-tutorials-kr",

  // Container build settings
  "build": {
    "context": "..",
    "dockerfile": "Dockerfile",
    "args": {}
  },

  // Ports to open
  "forwardPorts": [
    // Python built-in web server
    8000
  ],

  // VSCode settings
  "settings": {
    "terminal.integrated.shell.linux": "/bin/bash",
    "workbench.startupEditor": "none",
    "files.autoSave": "afterDelay",
    "python.dataScience.enabled": true,
    "python.dataScience.alwaysTrustNotebooks": true,
    "python.insidersChannel": "weekly",
    "python.showStartPage": false
  },

  // VSCode extensions to install
  "extensions": [
    "ms-python.python",
    "streetsidesoftware.code-spell-checker",

    // reStructuredText
    "lextudio.restructuredtext",

    // Markdown
    "bierner.github-markdown-preview",
    "DavidAnson.vscode-markdownlint",
    "docsmsft.docs-linting",
    "johnpapa.read-time",
    "yzhang.markdown-all-in-one",
  ],

  // User, more info: https://aka.ms/vscode-remote/containers/non-root.
  "remoteUser": "vscode"
}