3 Commits (0e73079f9a666521a0a2aa600bd0cb0a191f7166)

Author	SHA1	Message	Date
HackSys Team	7d0cf3933a	Update DevContainer Configuration for Enhanced Development Experience (#1964) ... * FIX: Upgraded devcontainer image to bookworm and added some useful extensions * FIX: use ubuntu jammy image and add .gdbinit file in docker container user home folder not root * FIX: Switch to root users as other tests are failing with permission denied * FIX: update devcontainer file to remove unnecessary extensions, and unused dot files as we removed the extensions * FIX: only add the .gdbinit file if it does not exists * FIX: minor change * Update Dockerfile * Update .devcontainer/devcontainer.json --------- Co-authored-by: Disconnect3d <dominik.b.czarnota@gmail.com>	2 years ago
Tobias Faller	2616e7085c	Updated permissions for Docker container	4 years ago
Tobias Faller	1cc12ad161	Added devcontainer configuration for VS Code to directly develop inside Docker container	4 years ago