From 176e534edb34a202290feba0ec73edb29f1e0e96 Mon Sep 17 00:00:00 2001 From: Alistair Delva Date: Mon, 22 Feb 2021 13:31:26 -0800 Subject: [PATCH] Rename rgrep to rsgrep rgrep is a common alias for 'grep -r' and this new macro was confusing. Test: cd external/rust/crates rsgrep test Change-Id: If71cdcc926455983a04a80982356e9feb61968fe --- envsetup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/envsetup.sh b/envsetup.sh index a5f6b6df3..15d6fb4bd 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -27,7 +27,7 @@ Invoke ". build/envsetup.sh" from your shell to add the following functions to y - mangrep: Greps on all local AndroidManifest.xml files. - mgrep: Greps on all local Makefiles and *.bp files. - owngrep: Greps on all local OWNERS files. -- rgrep: Greps on all local Rust files. +- rsgrep: Greps on all local Rust files. - sepgrep: Greps on all local sepolicy files. - sgrep: Greps on all local source files. - godir: Go to the directory containing a file. @@ -1038,7 +1038,7 @@ function jgrep() -exec grep --color -n "$@" {} + } -function rgrep() +function rsgrep() { find . -name .repo -prune -o -name .git -prune -o -name out -prune -o -type f -name "*\.rs" \ -exec grep --color -n "$@" {} +