xaizek / pipedial (License: GPLv3 only) (since 2019-01-08)
One more tool for selecting something in console.
<root> / ChangeLog (7ea1f874967a084ee921c1f0ad61bdf3ac189d6c) (1,020B) (mode 100644) [raw]
Unreleased changes since 0.2

	Filtering:

	* Do case-sensitive search by default, but if there are no results look up
	  the pattern ignoring case

0.1 to 0.2 (2019-09-21)

	License:

	* Changed from "GPLv3 or later" to "GPLv3 only"

	Normal mode:

	* Add Ctrl-E and Ctrl-Y keys
	* Revert to `/` key for filtering

	Help mode:

	* Add Ctrl-E and Ctrl-Y keys
	* Add `g`/`gg` keys to help mode

	Prompts:

	* Cancel prompt on Escape key
	* Handle narrowing conversion failure
	* Save inputs in history (doesn't persist across sessions)

	UI:

	* Add highlighting to the builtin help
	* Highlight search matches in the list of items (all matches are
	  highlighted)
	* Make filtering prompt bold
	* Draw title message in bold
	* Colorize background of labels

	Fixes:

	* Document `j` and `k` keys of Help mode
	* Fix output not being visible in terminal (when it's not captured or
	  redirected)

0.1 (2019-01-24)

	Features:

	* Basic Vim-like navigation.
	* Filtering by substring.
	* Builtin help.
	* Use of readline.
Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/pipedial

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/pipedial

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master