Refactor devcontainer configuration to use dynamic workspace folder and add missing extensions

Add .history/ to .gitignore to exclude history files from version control
2025-04-23 08:33:47 +00:00 · 2025-04-23 08:33:38 +00:00
2 changed files with 7 additions and 4 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -8,16 +8,18 @@
  ],
  "customizations": {
    "vscode": {
      "extensions": [
        "p2l2.vhdl-by-hgb",
        "eamodio.gitlens"
      ],
      "settings": {
        "terminal.integrated.defaultProfile.linux": "bash"
      }
    }
  },
  "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": {},
  "forwardPorts": [10000]
 }
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 .locale/
 .history/
Author	SHA1	Message	Date
Max P	a9ddd1a12d	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 Details	2025-04-23 08:33:47 +00:00
Max P	58bd5a78c0	Add .history/ to .gitignore to exclude history files from version control	2025-04-23 08:33:38 +00:00