summaryrefslogtreecommitdiff
path: root/.devcontainer/devcontainer.json
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2023-03-22 08:17:34 +0100
committerGitHub <noreply@github.com>2023-03-22 08:17:34 +0100
commit38414355878629c0d05c8784d83c21c0d059aca3 (patch)
tree5aca62e216f76e5475f744c4b248dab27a370699 /.devcontainer/devcontainer.json
parent41823da1b2001c2c14cce7743f224767099c8095 (diff)
parent7b711cb15d11ca9f090ca06c909eab57adf5c316 (diff)
Merge pull request #2274 from searxng/codespaces
Add GitHub Codespaces configuration
Diffstat (limited to '.devcontainer/devcontainer.json')
-rw-r--r--.devcontainer/devcontainer.json31
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"
+}