Skip to content

dev-shell: Add gdb#13771

Merged
Ericson2314 merged 1 commit intoNixOS:masterfrom
xokdvium:gdb-dev-shell
Aug 16, 2025
Merged

dev-shell: Add gdb#13771
Ericson2314 merged 1 commit intoNixOS:masterfrom
xokdvium:gdb-dev-shell

Conversation

@xokdvium
Copy link
Contributor

@xokdvium xokdvium commented Aug 16, 2025

Motivation

It's about time we added debuggers to the dev-shell. Having it in native build inputs does some magic so pretty printers for standard library types work better.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

It's about time we added debuggers to the dev-shell. Having it in build inputs
does some magic so pretty printers for standard library types work better.
@xokdvium xokdvium requested a review from Ericson2314 August 16, 2025 15:29
@xokdvium xokdvium requested a review from edolstra as a code owner August 16, 2025 15:29
@Ericson2314
Copy link
Member

My only concern was what happens on macOS, but CI will tell us. Let's ship it!

@Ericson2314 Ericson2314 merged commit d5102ab into NixOS:master Aug 16, 2025
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants