Bash has a functionality to search in the history, triggered by the ctrl-r key combination. See also https://github.com/redox-os/ion/issues/287
