diff options
| author | Junio C Hamano <gitster@pobox.com> | 2022-09-23 08:31:04 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-09-23 08:31:04 -0700 |
| commit | 75fc96d57e1262fe4b6bf87b5887e9103bcca7fb (patch) | |
| tree | 4450e029e7429879269b18f0937854211b73f719 /Documentation/CodingGuidelines | |
| parent | 4b79ee4b0cd1130ba8907029cdc5f6a1632aca26 (diff) | |
| parent | 37eb90f79a97cfeb216c7afe7bb0f129edfc10e4 (diff) | |
| download | git-75fc96d57e1262fe4b6bf87b5887e9103bcca7fb.tar.gz | |
Merge branch 'dd/retire-efgrep' into es/retire-efgrep
* dd/retire-efgrep:
t: convert fgrep usage to "grep -F"
t: convert egrep usage to "grep -E"
t: remove \{m,n\} from BRE grep usage
CodingGuidelines: allow grep -E
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 |