diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-10-21 22:57:59 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-10-22 02:17:57 +0300 |
commit | d7927d428cdb6ed0d709fea2e5353d56833ae02e (patch) | |
tree | 1b517a44915ac26c6bac3716c1e6b0d30d12f515 | |
parent | 6e3b0348a442afc58ca02259d476732c18ac26d0 (diff) |
git-sh-setup: remove unused sane_egrep() function
The is_zero_oid() function in git-submodule.sh has not been used since
e83e3333b57 (submodule: port submodule subcommand 'summary' from shell
to C, 2020-08-13), so we can remove it, and the sane_egrep() function,
dead is_zero_oid() was the only function which still referenced it.
Unlike some other functions in git-sh-setup.sh, this function has not
been documented in git-sh-setup(1), so per [1] it should be OK to
remove it. I'm still unclear about the future of some of the other
functions[2], but any questions in that area should not apply here.
1. https://lore.kernel.org/git/xmqqr1dtgnn8.fsf@gitster.g/
1. https://lore.kernel.org/git/87tuiwjfvi.fsf@evledraar.gmail.com/
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | git-sh-setup.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/git-sh-setup.sh b/git-sh-setup.sh index cee053cdc3..758520f5a6 100644 --- a/git-sh-setup.sh +++ b/git-sh-setup.sh @@ -177,10 +177,6 @@ sane_grep () { GREP_OPTIONS= LC_ALL=C grep @@SANE_TEXT_GREP@@ "$@" } -sane_egrep () { - GREP_OPTIONS= LC_ALL=C egrep @@SANE_TEXT_GREP@@ "$@" -} - is_bare_repository () { git rev-parse --is-bare-repository } |