Skip to content

Document ctrl+d to exit REPLΒ #245

@pfiaux

Description

@pfiaux

Describe the bug
I couldn't get out out of the REPL after running bass πŸ™ˆ, I usually ended up closing that terminal session and letting my shell handle it. I tried all sorts of things I'm used to:

  • ctrl+c
  • exit (exit) (exit 1)
  • quit
  • system.exit, process.exit, ...
  • (error)

Eventually I was looking up how to get out of a LISP REPL and found https://stackoverflow.com/a/4982226/891965.

To Reproduce
n/a

Expected behavior
I felt I was missing 2 things:

  • Some part of the docs or getting started mentioning how to close/exit the REPL
  • Some hint when running exit commands common to other environments (exit or ctrl+c) that to exit one should use ctrl+d

For example the python3 REPL does this:

⟩ python3
>>> exit
Use exit() or Ctrl-D (i.e. EOF) to exit

I realize this might not be a common problem, if you disagree we can close this πŸ‘. Searching for exit or REPL in the issues will turn this up if someone else gets stuck where I did it would already help.

Additional context
There's probably some language background to this, probably this is obvious to those who use some tools or some languages. I mostly do go, nodejs, bash, fishshell but ctrl+d wasn't something I thought of.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions