diff options
| author | Alexandre Flament <alex@al-f.net> | 2023-03-22 08:17:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 08:17:34 +0100 |
| commit | 38414355878629c0d05c8784d83c21c0d059aca3 (patch) | |
| tree | 5aca62e216f76e5475f744c4b248dab27a370699 /.devcontainer/devcontainer.json | |
| parent | 41823da1b2001c2c14cce7743f224767099c8095 (diff) | |
| parent | 7b711cb15d11ca9f090ca06c909eab57adf5c316 (diff) | |
Merge pull request #2274 from searxng/codespaces
Add GitHub Codespaces configuration
Diffstat (limited to '.devcontainer/devcontainer.json')
| -rw-r--r-- | .devcontainer/devcontainer.json | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 000000000..3f8c4c81a --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,31 @@ +{ + "build": { + "dockerfile": "Dockerfile" + }, + "features": { + "ghcr.io/devcontainers/features/github-cli": {} + }, + "customizations": { + "vscode": { + "extensions": [ + "ms-python.python", + "ms-azuretools.vscode-docker" + ], + "remote.otherPortsAttributes": { + "protocol": "https" + }, + "settings": { + "files.autoSave": "off", + "python.defaultInterpreterPath": "/workspaces/searxng/local/py3/bin/python3", + "python.formatting.blackPath": "/workspaces/searxng/local/py3/bin/black", + "python.linting.pylintPath": "/workspaces/searxng/local/py3/bin/pylint" + } + } + }, + "forwardPorts": [8000, 8888], + "portsAttributes": { + "8000": {"label": "Sphinx documentation"}, + "8888": {"label": "SearXNG"} + }, + "postCreateCommand": "git pull && make install" +} |