Replies: 1 comment
|
Related threads on the same need — linking them so they can be considered together:
This seems to be a recurring need (at least three separate threads), so any of the proposed options (sidebar token, pane border, menu action) would help. |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Summary
There is currently no way to display a pane's ID (e.g.
w1:p1) in the Herdr UI. It would be very useful to be able to see pane IDs directly in the interface, since pane IDs are the primary way to target panes/agents via the CLI (herdr pane run <pane_id>,herdr agent prompt <pane_id> ..., etc.).Current behavior
state_icon,workspace,tab,pane,agent,terminal_title, but thepanetoken renders the manual pane label (pane rename), not the pane ID.show_agent_labels_on_pane_borders), never the pane ID.show_pane_idsin the default config.So the only way to know a pane's ID is to run
herdr pane list/herdr agent listfrom a shell.Proposed solutions (any of these would be great)
pane_id) that renders the public pane ID (e.g.w4:p11) in Agent rows, configurable viaui.sidebar.agents.rows.show_pane_ids_on_pane_borders).Use case
When coordinating multiple agents/panes (e.g. spawning sibling panes via the CLI and targeting them later), it's common to need the pane ID while looking at the UI — e.g. to tell an agent "send that prompt to pane X" or to verify which pane ID corresponds to which agent.
Workaround today
Manually label panes with their ID:
herdr pane rename w4:p11 "w4:p11"or report a metadata token and render it with a
$namesidebar token.All reactions