Refactor devcontainer configuration to use dynamic workspace folder and add missing extensions
All checks were successful
Manuelles Build mit ISE / build (push) Successful in 42s
All checks were successful
Manuelles Build mit ISE / build (push) Successful in 42s
This commit is contained in:
@@ -8,16 +8,18 @@
|
|||||||
],
|
],
|
||||||
"customizations": {
|
"customizations": {
|
||||||
"vscode": {
|
"vscode": {
|
||||||
|
"extensions": [
|
||||||
|
"p2l2.vhdl-by-hgb",
|
||||||
|
"eamodio.gitlens"
|
||||||
|
],
|
||||||
"settings": {
|
"settings": {
|
||||||
"terminal.integrated.defaultProfile.linux": "bash"
|
"terminal.integrated.defaultProfile.linux": "bash"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"remoteUser": "xilinx",
|
"remoteUser": "xilinx",
|
||||||
"mounts": [
|
"workspaceMount": "source=${localWorkspaceFolder},target=/workspaces/${localWorkspaceFolderBasename},type=bind",
|
||||||
"source=${localWorkspaceFolder},target=/workspaces/project,type=bind"
|
"workspaceFolder": "/workspaces/${localWorkspaceFolderBasename}",
|
||||||
],
|
|
||||||
"workspaceFolder": "/workspaces/project",
|
|
||||||
"features": {},
|
"features": {},
|
||||||
"forwardPorts": [10000]
|
"forwardPorts": [10000]
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user