Skip to content

Add HOTKEYS HELP subcommand and fix hotkeys INFO section#14785

Merged
YaacovHazan merged 5 commits intoredis:unstablefrom
minchopaskal:hotkeys-help
Feb 23, 2026
Merged

Add HOTKEYS HELP subcommand and fix hotkeys INFO section#14785
YaacovHazan merged 5 commits intoredis:unstablefrom
minchopaskal:hotkeys-help

Conversation

@minchopaskal
Copy link
Collaborator

@minchopaskal minchopaskal commented Feb 11, 2026

Each command having subcommands needs a HELP subcommand which is currently missing for HOTKEYS.
Also the newly added section "Hotkeys" for INFO was messing up modules INFOs in some cases.
Fixed both issues in this PR.


Note

Low Risk
Adds a read-only help subcommand and a small null-safety/section-filtering fix in INFO; behavior changes are localized and covered by tests.

Overview
Adds a new HOTKEYS HELP subcommand (wired in commands.def, documented via commands/hotkeys-help.json, and implemented in hotkeys.c) that returns server-side usage text for HOTKEYS parameters/subcommands.

Fixes INFO generation for the # Hotkeys section in server.c to be emitted even when server.hotkeys is NULL, but only include hotkeys fields when initialized, preventing unintended side effects on module INFO handling; tests were updated to assert modules aren’t called for INFO/INFO all/filtered sections and to track module InfoFunc invocation count (infotest.c/infotest.tcl).

Written by Cursor Bugbot for commit d06adc0. This will update automatically on new commits. Configure here.

@minchopaskal minchopaskal requested a review from sundb February 11, 2026 12:07
@augmentcode
Copy link

augmentcode bot commented Feb 11, 2026

🤖 Augment PR Summary

Summary: This PR adds a missing HOTKEYS HELP subcommand and adjusts the INFO output logic for the “Hotkeys” section.

Changes:

  • Registers HOTKEYS HELP in the command table and adds command-doc JSON for it
  • Implements HOTKEYS HELP in hotkeysCommand via addReplyHelp()
  • Updates the INFO generator to avoid printing hotkeys fields when hotkey tracking is not initialized

Technical Notes: HELP returns an array of strings describing HOTKEYS subcommands/arguments; INFO “Hotkeys” section is now gated at print-time on server.hotkeys.

🤖 Was this summary useful? React with 👍 or 👎

Copy link

@augmentcode augmentcode bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review completed. 3 suggestions posted.

Fix All in Augment

Comment augment review to trigger a new review at any time.

Copy link

@cursor cursor bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cursor Bugbot has reviewed your changes and found 2 potential issues.

@sundb
Copy link
Collaborator

sundb commented Feb 11, 2026

not sure if we really need it, isn't help hotkeys xxx enough?
I took a look at -help. It's indeed necessary.

@YaacovHazan YaacovHazan merged commit 6ec7b16 into redis:unstable Feb 23, 2026
19 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Redis 8.8 Feb 23, 2026
@minchopaskal minchopaskal added the state:needs-doc-pr requires a PR to redis-doc repository label Feb 23, 2026
YaacovHazan pushed a commit that referenced this pull request Feb 23, 2026
Each command having subcommands needs a HELP subcommand which is
currently missing for HOTKEYS.
Also the newly added section "Hotkeys" for INFO was messing up modules
INFOs in some cases.
Fixed both issues in this PR.
@sundb sundb added the release-notes indication that this issue needs to be mentioned in the release notes label Mar 4, 2026
kairosci pushed a commit to kairosci/redis that referenced this pull request Mar 5, 2026
Each command having subcommands needs a HELP subcommand which is
currently missing for HOTKEYS.
Also the newly added section "Hotkeys" for INFO was messing up modules
INFOs in some cases.
Fixed both issues in this PR.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-notes indication that this issue needs to be mentioned in the release notes state:needs-doc-pr requires a PR to redis-doc repository

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants