-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Nicety for those using VSCode #1
base: main
Are you sure you want to change the base?
Conversation
Additionally, it might also be nice to include a // Add to the configurations list in .vscode/launch.json
"configurations": [
{
"name": "Debug Kernel with GDB",
"type": "cppdbg",
"request": "launch",
"program": "${workspaceFolder}/obj/kernel/kernel",
"args": [],
"stopAtEntry": true,
"cwd": "${workspaceFolder}",
"environment": [],
"externalConsole": false,
"MIMode": "gdb",
"miDebuggerPath": "/usr/bin/gdb",
"setupCommands": [
{
"description": "Load GDB commands from .gdbrc",
"text": "source ${workspaceFolder}/.gdbrc",
"ignoreFailures": false
}
]
}
] |
Finally, for proper clangd language server support you might want to add a
For an additional mount you'll have to add the following to the
|
.devcontainer/Dockerfile
Outdated
@@ -28,7 +28,12 @@ RUN useradd dev -u 1000 -m -s /bin/bash && \ | |||
USER dev | |||
|
|||
|
|||
# Install GEF for sanity & its dependencies | |||
RUN sudo apt install -y file && bash -c "$(wget https://gef.blah.cat/sh -O -)" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't use VS, and I am not responsible for this repo, but I know a curl | sh
when I see one
Hey @hammertux,
I've added support for a VSCode feature that allows you to open the project inside of a container with all dependencies preinstalled (Dev Containers). All of the
make *
commands from Lecture 01 seem to work. This allows us to forego installing dependencies to the host which can always be a pain and for those not on running Linux this makes life easier.