Skip to content

Tool: Deephaven command history #128

Open
Open
Tool: Deephaven command history#128
Labels
enhancementNew feature or requestuser-devA feature where the end user is a developer.
@chipkent

Description

@chipkent
chipkent
opened on Dec 15, 2025

Get the command history for a session / worker.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestuser-devA feature where the end user is a developer.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions