diff options
author | Đoàn Trần Công Danh <congdanhqx@gmail.com> | 2022-09-21 16:02:29 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-09-21 21:00:18 +0300 |
commit | 2e092725e6f73d20080c3a71c0d8e234f266cb8d (patch) | |
tree | b082c5c648504e0216cc3428a397b156910f8307 /Documentation/CodingGuidelines | |
parent | dda7228a83e2e9ff584bf6adbf55910565b41e14 (diff) |
CodingGuidelines: allow grep -E
Despite forbidden by CodingGuidelines, our usage of 'grep -E' has been
increased over the years, and noone has come and complained.
Let's lift the restriction.
Signed-off-by: Đoàn Trần Công Danh <congdanhqx@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/CodingGuidelines')
-rw-r--r-- | Documentation/CodingGuidelines | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Documentation/CodingGuidelines b/Documentation/CodingGuidelines index 9fca21cc5f..cb7a367ea0 100644 --- a/Documentation/CodingGuidelines +++ b/Documentation/CodingGuidelines @@ -162,8 +162,6 @@ For shell scripts specifically (not exhaustive): - We do not use \{m,n\}; - - We do not use -E; - - We do not use ? or + (which are \{0,1\} and \{1,\} respectively in BRE) but that goes without saying as these are ERE elements not BRE (note that \? and \+ are not even part |