Skip to content

Commit

Permalink
Workspace#122 (#123)
Browse files Browse the repository at this point in the history
* global devcontainer

* fix global config

* rename script to setup

* add code snippets

* remove code snippets

* python docstring

* ruler color

* create code workspace
  • Loading branch information
SKairinos committed Jul 10, 2024
1 parent 38988b7 commit 45ddccd
Show file tree
Hide file tree
Showing 13 changed files with 219 additions and 339 deletions.
34 changes: 23 additions & 11 deletions .devcontainer.json
Original file line number Diff line number Diff line change
@@ -1,42 +1,54 @@
{
"image": "mcr.microsoft.com/devcontainers/base:ubuntu-22.04",
"customizations": {
"vscode": {
"extensions": [
// general
"visualstudioexptteam.vscodeintellicode",
"github.vscode-pull-request-github",
"redhat.vscode-yaml",
"davidanson.vscode-markdownlint",
"bierner.markdown-mermaid",
"streetsidesoftware.code-spell-checker",
"tamasfe.even-better-toml",
"github.vscode-github-actions",
"codecov.codecov",
"ritwickdey.liveserver",
"eamodio.gitlens",
// javascript
"dbaeumer.vscode-eslint",
"esbenp.prettier-vscode",
// python
"ms-python.python",
"ms-python.debugpy",
"ms-python.pylint",
"ms-python.isort",
"ms-python.vscode-pylance",
"ms-python.mypy-type-checker",
"ms-python.black-formatter",
"njpwerner.autodocstring",
"tamasfe.even-better-toml",
"qwtel.sqlite-viewer",
"njpwerner.autodocstring"
]
}
},
"dockerComposeFile": [
"./docker-compose.yml"
],
"features": {
"ghcr.io/devcontainers-contrib/features/pipenv:2": {
"version": "2023.11.15"
"ghcr.io/devcontainers/features/github-cli:1": {
"version": "2.52.0"
},
"ghcr.io/devcontainers/features/node:1": {
"version": "18"
},
"ghcr.io/devcontainers/features/python:1": {
"installTools": false,
"version": "3.12"
"version": "3.8"
},
"ghcr.io/devcontainers/features/github-cli:1": {}
"ghcr.io/devcontainers-contrib/features/pipenv:2": {
"version": "2023.11.15"
}
},
"name": "workspace",
"postCreateCommand": "sudo chmod u+x .submodules/recurse-fork/run && .submodules/recurse-fork/run",
"postCreateCommand": "sudo chmod u+x .submodules/setup/run && .submodules/setup/run",
"remoteUser": "root",
"service": "base-service",
"shutdownAction": "none",
"workspaceFolder": "/workspace"
}
2 changes: 1 addition & 1 deletion .submodules/config/Pipfile
Original file line number Diff line number Diff line change
Expand Up @@ -12,4 +12,4 @@ mypy = "==1.6.1"
pylint = "==3.0.2"

[requires]
python_version = "3.12"
python_version = "3.8"
50 changes: 33 additions & 17 deletions .submodules/config/Pipfile.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 45ddccd

Please sign in to comment.