Skip to content

Filter keybindings by section id - #385

Merged
jongio merged 1 commit into
mainfrom
idea/keys-section-filter
Jul 27, 2026
Merged

Filter keybindings by section id#385
jongio merged 1 commit into
mainfrom
idea/keys-section-filter

Conversation

@jongio

@jongio jongio commented Jul 26, 2026

Copy link
Copy Markdown
Owner

Closes #380

Adds grut keys --section <id> for docs tooling and scripts that need a stable keybinding group.

Changes:

  • Filters keybindings by exact section id.
  • Supports --section with text and JSON output.
  • Returns an empty result for unknown section ids.

Validation:

  • go build ./...
  • go test ./cmd -run Keys -count=1
  • go test ./... -count=1
  • mage preflight was attempted. It is blocked by WSL tests where git is not available in the WSL PATH.

Closes #380

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 3f892a21-0f5d-41e7-aebb-afbda057615d
@jongio jongio added the idea Feature idea from the idea pipeline label Jul 26, 2026
@jongio jongio self-assigned this Jul 26, 2026
@jongio
jongio merged commit 51ebd2d into main Jul 27, 2026
4 checks passed
@jongio
jongio deleted the idea/keys-section-filter branch July 27, 2026 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

idea Feature idea from the idea pipeline

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Filter keybindings by section id

1 participant