JEDEN Request access
Jeden/Docs

CLI command

jeden export

Export a recorded session as JSON, HTML, or Markdown.

Exact invocation#

Shell
jeden export <session-id-or-path> [output] [--html|--markdown]

Inputs and options#

  • Required: a session identifier or path.
  • Optional: --html or --markdown; JSON is the default. A non-flag trailing value is the output file.

Output and state effect#

Prints the serialized session when no output path is supplied; otherwise writes the payload to that path and prints the path.

Refusals and boundaries#

  • A missing selector is refused as export requires a session id or path.
  • Missing sessions, invalid ledgers, unsupported renderer formats, and output write errors are returned without a partial successful result.