Skip to content

Terminal: Error when bash is exited #17

Open
@michaelpb

Description

@michaelpb

BUG: Error when bash exits (e.g. Ctrl+D). Should detect and offer to
restart.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions