Files
php/.devcontainer/devcontainer.json
2019-08-26 14:01:30 -07:00

25 lines
776 B
JSON

{
"name": "PHP",
"dockerFile": "Dockerfile",
// Comment out the next line to run as root instead. Linux users, update
// Dockerfile with your user's UID/GID if not 1000.
"runArgs": ["-u", "vscode"],
// Use 'settings' to set *default* container specific settings.json values on container create.
// You can edit these settings after create using File > Preferences > Settings > Remote.
"settings": {
"terminal.integrated.shell.linux": "/bin/bash"
},
// Uncomment the next line if you want to publish any ports.
// "appPort": [],
// Uncomment the next line to run commands after the container is created.
// "postCreateCommand": "php -v",
"extensions": [
"felixfbecker.php-debug",
"felixfbecker.php-intellisense"
]
}