Skip to content

Add a repl command for dumping to a file #402

@glennblock

Description

@glennblock

It's common to write some script in the REPL that you then want to move to a file. We should have a gesture like Ctrl+S or something to save the REPL INPUT (no output) to a file.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type
    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