Max P
6903abb710
- Adds the WakaTime extension to the devcontainer JSON file - Enhances productivity tracking for developers
32 lines
1.1 KiB
JSON
32 lines
1.1 KiB
JSON
{
|
|
"name": "Xilinx ISE 14.7",
|
|
"image": "git.0xmax42.io/simdev/xilinx-ise:latest",
|
|
"runArgs": [
|
|
"--privileged",
|
|
"--cap-add=SYS_ADMIN",
|
|
"--shm-size=2g",
|
|
"-v",
|
|
"/run/user/1000/gnupg/S.gpg-agent:/home/xilinx/.gnupg/S.gpg-agent"
|
|
],
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"/home/xilinx/vsxirepo/vhdl-by-hgb.vsix",
|
|
"eamodio.gitlens",
|
|
"WakaTime.vscode-wakatime"
|
|
],
|
|
"settings": {
|
|
"terminal.integrated.defaultProfile.linux": "bash"
|
|
}
|
|
}
|
|
},
|
|
"remoteUser": "xilinx",
|
|
"workspaceMount": "source=${localWorkspaceFolder},target=/workspaces/${localWorkspaceFolderBasename},type=bind",
|
|
"workspaceFolder": "/workspaces/${localWorkspaceFolderBasename}",
|
|
"features": {},
|
|
"forwardPorts": [
|
|
10000
|
|
],
|
|
"postStartCommand": "git config --global user.signingkey 87C8A5DD5C14DF55DBE1DB4199AC216D447E61C0 && git config --global gpg.format openpgp && git config --global commit.gpgsign true && git config --global tag.forceSignAnnotated true && pip install --upgrade --index-url https://git.0xmax42.io/api/packages/maxp/pypi/simple/ --extra-index-url https://pypi.org/simple/ hdlbuild"
|
|
}
|