diff options
author | Tomasz Durda <tomekdur@wp.pl> | 2023-11-04 16:30:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-04 11:30:23 -0400 |
commit | 960decfcb89de5601f483d559096afe3481ae10c (patch) | |
tree | 83b708cf0897aee98144274cc8ab6ae1c3c4674a /docs/configuration/custom_commands/joshuto_rgfzf | |
parent | ee50d175d8c14cc7420e922864e6c5289c2785f3 (diff) |
custom_commands + fallback for the older configurations (#446)
* custom_commands + fallback for the older configurations
1. Added custom_commands
2. Implemented custom_search
3. Implemented custom_serach_interactive
4. Added fallback for the command in the keymaps
* Docs + missing file
* Added two more joshuto scripts
---------
Co-authored-by: Tomasz Durda <edotdurda@e-science.pl>
Co-authored-by: Jeff Zhao <jeff.no.zhao@gmail.com>
Diffstat (limited to 'docs/configuration/custom_commands/joshuto_rgfzf')
-rwxr-xr-x | docs/configuration/custom_commands/joshuto_rgfzf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/configuration/custom_commands/joshuto_rgfzf b/docs/configuration/custom_commands/joshuto_rgfzf new file mode 100755 index 0000000..1c0b7e0 --- /dev/null +++ b/docs/configuration/custom_commands/joshuto_rgfzf @@ -0,0 +1,5 @@ +#!/bin/bash + +rg -n -H --color=never "$@" \ + | fzf --ansi --preview 'bat -n $(echo {} | cut -d ":" -f1) --line-range="$(echo {} | cut -d ":" -f2):"' \ + | cut -d ":" -f1 |