tools/git: add git grep using existing grep tool

main
Willow Barraco 2023-09-10 11:30:05 +02:00
parent be1a61a2ff
commit 01fd6552af
No known key found for this signature in database
GPG Key ID: EABA44759877E02A
1 changed files with 11 additions and 1 deletions

View File

@ -66,9 +66,10 @@ define-command -params 1.. \
show-diff
status
update-diff
grep
} -shell-script-candidates %{
if [ $kak_token_to_complete -eq 0 ]; then
printf "add\nrm\nreset\nblame\ncommit\ncheckout\ndiff\nhide-blame\nhide-diff\nlog\nnext-hunk\nprev-hunk\nshow\nshow-branch\nshow-diff\ninit\nstatus\nupdate-diff\n"
printf "add\nrm\nreset\nblame\ncommit\ncheckout\ndiff\nhide-blame\nhide-diff\nlog\nnext-hunk\nprev-hunk\nshow\nshow-branch\nshow-diff\ninit\nstatus\nupdate-diff\ngrep\n"
else
case "$1" in
commit) printf -- "--amend\n--no-edit\n--all\n--reset-author\n--fixup\n--squash\n"; git ls-files -m ;;
@ -347,6 +348,15 @@ define-command -params 1.. \
reset|checkout)
run_git_cmd "$@"
;;
grep)
shift
enquoted="$(printf '"%s" ' "$@")"
printf %s "try %{
set-option current grepcmd 'git grep -n'
grep $enquoted
set-option current grepcmd '$kak_opt_grepcmd'
}"
;;
*)
printf "fail unknown git command '%s'\n" "$1"
exit