Skip to content

REPL history is not saved between sessions #5142

New issue
New issue
Closed
Closed
REPL history is not saved between sessions#5142
Labels
area:replitype:enhancement
@smarter

Description

@smarter
smarter
opened on Sep 22, 2018

JLine has support for saving and restoring the history but it doesn't look like we use this in the dotty repl currently.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:replitype:enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions