mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-15 02:11:15 +08:00
42 lines
1.1 KiB
JSON
42 lines
1.1 KiB
JSON
// See https://containers.dev
|
|
{
|
|
"name": "Python 3",
|
|
"image": "mcr.microsoft.com/devcontainers/python:1-3.10",
|
|
|
|
// See https://containers.dev/features
|
|
"features": {
|
|
"ghcr.io/devcontainers/features/git:1": {},
|
|
"ghcr.io/devcontainers/features/node:1": {},
|
|
"ghcr.io/devcontainers-contrib/features/ffmpeg-apt-get:1": {}
|
|
},
|
|
|
|
"hostRequirements": {
|
|
"cpus": 4,
|
|
"memory": "8gb",
|
|
"storage": "32gb"
|
|
},
|
|
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"ms-python.python",
|
|
"ms-python.vscode-pylance",
|
|
"ms-python.black-formatter",
|
|
"ms-toolsai.jupyter",
|
|
"esbenp.prettier-vscode",
|
|
"svelte.svelte-vscode",
|
|
"phoenisx.cssvar"
|
|
],
|
|
"remote.autoForwardPorts": false
|
|
}
|
|
},
|
|
|
|
"forwardPorts": [7860, 9876],
|
|
"portsAttributes": {
|
|
"7860": { "label": "gradio port" },
|
|
"9876": { "label": "gradio dev port" }
|
|
},
|
|
|
|
"postCreateCommand": "export NODE_OPTIONS=\"--max-old-space-size=8192\" && chmod +x scripts/install_gradio.sh scripts/install_test_requirements.sh scripts/build_frontend.sh && ./scripts/install_test_requirements.sh && ./scripts/install_gradio.sh && ./scripts/build_frontend.sh"
|
|
}
|