commit aa7d4eed378fec54d41f09eec7eed107f1a62204 parent ebbae03606ee30bed341b86193005399db500071 Author: William Casarin <jb55@jb55.com> Date: Tue, 26 Jan 2021 13:50:23 -0800 hist: better fzf options Diffstat:
| M | bin/fuzz-run-hist | | | 4 | +++- |
| M | bin/fuzz-show-hist | | | 4 | +++- |
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/bin/fuzz-run-hist b/bin/fuzz-run-hist @@ -1,5 +1,7 @@ #!/usr/bin/env bash set -e fuzz-compress-hist -cmd=$(<$HOME/.fuzzhist $FUZZER --tac --no-sort) + +export FZF_DEFAULT_OPTS="--height ${FZF_TMUX_HEIGHT:-40%} $FZF_DEFAULT_OPTS --tac --sync -n2..,.. --tiebreak=index --bind=ctrl-r:toggle-sort $FZF_CTRL_R_OPTS +m" +cmd=$(<$HOME/.fuzzhist fzf) echo $cmd diff --git a/bin/fuzz-show-hist b/bin/fuzz-show-hist @@ -1,5 +1,7 @@ #!/usr/bin/env bash set -e fuzz-compress-hist -cmd_=$(<$HOME/.fuzzhist $FUZZER --tac) + +export FZF_DEFAULT_OPTS="--height ${FZF_TMUX_HEIGHT:-40%} $FZF_DEFAULT_OPTS --tac --sync -n2..,.. --tiebreak=index --bind=ctrl-r:toggle-sort $FZF_CTRL_R_OPTS +m" +cmd_=$(<$HOME/.fuzzhist $FUZZER) echo "$cmd_"