Substitute all "the the" with "the"

Substitute all "the the" with "the"

[Дилян Палаузов]

… by applying

sed -i "s/the the/the/" `git grep -l "the the"`

Re: Substitute all "the the" with "the"

[Joseph Myers]

[-- Attachment #1: Type: text/plain, Size: 738 bytes --]

On Thu, 10 Jan 2019, Дилян Палаузов wrote:

> sed -i "s/the the/the/" `git grep -l "the the"`

That looks wrong; there are plenty of instances of "the theory", "the then 
branch" and similar that should not have such a substitution applied.

See Sandra's patch submissions for "can not", and the discussion thereof, 
for examples of how to propose such changes, including various files and 
directories in the source tree that should be excluded because they e.g. 
come from upstream sources maintained through different processes, or in 
the case of testcases because such fixes are not particularly relevant to 
them and unnecessarily perturb the code.

-- 
Joseph S. Myers
joseph@codesourcery.com