3cd "$(dirname "${BASH_SOURCE[0]}")"
5if ! which hyperfine > /dev/null 2>&1; then
6 echo "'hyperfine' does not seem to be installed."
7 echo "You can get it here: https://github.com/sharkdp/hyperfine"
11SRC="test-src/jquery-3.3.1.js"
14cmd_bat="bat --style=full --color=always --paging=never '$SRC'"
15cmd_bat_simple="bat --plain --wrap=never --tabs=0 --color=always --paging=never '$SRC'"
16cmd_pygmentize="pygmentize -g '$SRC'"
17cmd_highlight="highlight -O truecolor '$SRC'"
18cmd_ccat="ccat --color=always '$SRC'"
19cmd_source_highlight="source-highlight --failsafe --infer-lang -f esc -i '$SRC'"
20cmd_hicat="hicat '$SRC'"
21cmd_coderay="coderay '$SRC'"
22cmd_rouge="rougify '$SRC'"
30 "$cmd_source_highlight" \
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list