diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..7f86103 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,30 @@ +{ + "name": "Xilinx ISE 14.7", + "image": "xilinx-ise:14.7", + "runArgs": [ + "--privileged", + "--cap-add=SYS_ADMIN", + "--shm-size=2g", + "-v", + "/run/user/1000/gnupg/S.gpg-agent:/run/user/1000/gnupg/S.gpg-agent" + ], + "customizations": { + "vscode": { + "extensions": [ + "/home/xilinx/vsxirepo/vhdl-by-hgb.vsix", + "eamodio.gitlens" + ], + "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 && sudo apt update && sudo apt upgrade -y" +} \ No newline at end of file