Skip to content

Conversation

@nineinchnick
Copy link
Member

Use an alternative readline library.

This PR includes some refactoring, all as separate commits. The last commit is the one that actually adds the new readline library.

@nineinchnick
Copy link
Member Author

This is a draft, since I just checked if this builds and runs. I'll be doing more manual testing now. There are some issues with the completer.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant