Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This mirrors the addition to `history` from #1274, but with search too. Ther are history search implementations for shells that are set to search instead of running the history command.
- Loading branch information