Skip to content

Latest commit

 

History

History
55 lines (36 loc) · 2.1 KB

README.md

File metadata and controls

55 lines (36 loc) · 2.1 KB

Search kitten for kitty

Kitten for the kitty terminal emulator providing live incremental search in the terminal history.

Demo

Installation

Place the two .py files in this repo (search.py and scroll_mark.py) in the same directory as kitty.conf.

Map a key to launch the kitten. E.g. for kitty_mod+/ add this to kitty.conf:

map kitty_mod+/      launch --location=hsplit --allow-remote-control kitty +kitten search.py @active-kitty-window-id

Alternatively:

Go to the directory where kitty.conf lies, run

git clone https://github.com/trygveaa/kitty-kitten-search kitty_search

The alternate directory name is needed to keep python happy. You then have to use as slightly other shortcut:

map kitty_mod+/      launch --allow-remote-control kitty +kitten kitty_search/search.py @active-kitty-window-id

If you are managing your dotfiles as a git directory, you can also add kitty-search as a submodule instead of cloning:

git submodule add https://github.com/trygveaa/kitty-kitten-search kitty_search

Now you only have to commit .gitmodules in your git directory and you are golden.

Usage

Pressing the key you mapped will open a window where you can type your search. The search is performed immediately as you type each key, however currently it does not scroll to a match automatically if it is outside of the current content shown.

These keys can be used to control the kitten:

  • Up/down arrow: Scroll to previous/next match
  • Tab: Switch between literal match and regex match
  • Ctrl-u: Clear the query
  • Ctrl-a/e: Go to the beginning/end of the query
  • Ctrl-Left/Right: Jump over words by space
  • Ctrl-Backspace: Delete last word by space
  • Alt-Left/Right: Jump over words by non-alphanumeric characters
  • Alt-Backspace: Delete last word by non-alphanumeric characters
  • Enter: Exit the kitten and keep the current scroll position
  • Esc: Exit the kitten and scroll to the bottom of the history