Files
php/.devcontainer/devcontainer.json

26 lines
701 B
JSON
Raw Normal View History

2019-05-01 07:53:21 -07:00
{
"name": "PHP Sample",
2019-05-01 07:53:21 -07:00
"dockerFile": "Dockerfile",
2019-12-11 15:47:41 +00:00
// Use 'settings' to set *default* container specific settings.json values on container create.
"settings": {
"terminal.integrated.shell.linux": "/bin/bash"
},
2020-04-09 00:54:44 +00:00
// Add the IDs of extensions you want installed when the container is created in the array below.
"extensions": [
"felixfbecker.php-debug",
"felixfbecker.php-intellisense"
],
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
2019-12-11 15:47:41 +00:00
2020-04-09 00:54:44 +00:00
// Use 'postCreateCommand' to run commands after the container is created.
2019-12-11 15:47:41 +00:00
// "postCreateCommand": "php -v",
// Comment out if you want to use root
2020-04-09 00:54:44 +00:00
"remoteUser": "vscode"
2019-12-11 15:47:41 +00:00
}