dotfiles1/devcontainer.json at main · erikkacodestream/dotfiles1 · 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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
{
  "name": "CSOS Development Environment",
  "build": {
    "dockerfile": "Dockerfile",
    "context": ".."
  },
  "features": {
    "ghcr.io/devcontainers/features/python:1": {
      "version": "3.11"
    },
    "ghcr.io/devcontainers/features/github-cli:1": {}
  },
"postCreateCommand": "echo 'Running postCreateCommand' && ls -la /workspaces/template-repo/student-repo/devcontainer && cat /workspaces/template-repo/student-repo/devcontainer/setup.sh && bash /workspaces/template-repo/student-repo/devcontainer/setup.sh",
"postStartCommand": "echo 'Running postStartCommand' && ls -la /workspaces/template-repo/student-repo/tools/csos && chmod +x /workspaces/template-repo/student-repo/tools/csos/csosget && /workspaces/template-repo/student-repo/tools/csos/csosget --version"
,
  "customizations": {
    "vscode": {
      "extensions": [
        "ms-python.python",
        "ms-python.vscode-pylance",
        "esbenp.prettier-vscode",
        "dbaeumer.vscode-eslint",
        "github.copilot",
        "ms-vscode.live-server",
        "ritwickdey.liveserver",
        "ms-vsliveshare.vsliveshare"
      ],
      "settings": {
        "editor.formatOnSave": true,
        "editor.fontSize": 16,
        "editor.tabSize": 2,
        "editor.fontFamily": "Fira Code",
        "editor.rulers": [
          80,
          100
        ],
        "editor.bracketPairColorization.enabled": true,
        "terminal.integrated.fontSize": 14,
        "terminal.integrated.defaultProfile.linux": "bash",
        "workbench.colorTheme": "GitHub Dark Default",
        "workbench.layoutControl.enabled": true,
        "window.menuBarVisibility": "compact",
        "python.defaultInterpreterPath": "/usr/local/bin/python",
        "python.linting.enabled": true,
        "python.formatting.provider": "black"
      }
    }
  },
  "forwardPorts": [
    5000,
    8000
  ],
  "portsAttributes": {
    "5000": {
      "label": "Flask Server",
      "onAutoForward": "notify"
    },
    "8000": {
      "label": "Live Server",
      "onAutoForward": "notify"
    }
  },
  "remoteUser": "vscode"
}