purescript / purescript/spago

repl ignores inputrc

Open
#720 5 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

document me
Dominant language
PureScript
Stars
831
Forks
137
PR merge metrics
No merged PRs in 30d

Description

I have the following lines in my ~/.inputrc:

"\e[A": history-search-backward
"\e[B": history-search-forward

For most apps that use the readline library, this means that I can search my history by typing the first few characters of a previous command and pressing the up arrow. However, spago repl seems to ignore this, and just goes to the previous history entry, regardless of what I type.

This feature would be particularly useful for purescript, since there seems to be no way to reload a package without also losing all the bindings that that were entered previously. It would be a lot easier to re-enter commands if I was able to search the history for them.

(By the way, I don't yet understand the purescript ecosystem well enough to know if this is an issue with spago or some other package - if I should file this issue somewhere else please let me know.)

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start at the spago repl entry point and inspect how terminal input and inputrc/readline configuration are handled; the issue does not name a file or test. Done means the listed history-search bindings work in spago repl without breaking normal history navigation, with coverage for the reported behavior if the project has relevant tests.

Written by the indexing model from the issue text.

Assessment

Domain
cli
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.