bug-wget
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-wget] Removing form feeds from sources


From: Tim Ruehsen
Subject: Re: [Bug-wget] Removing form feeds from sources
Date: Thu, 20 Nov 2014 11:56:48 +0100
User-agent: KMail/4.14.2 (Linux/3.16.0-4-amd64; KDE/4.14.2; x86_64; ; )

On Wednesday 19 November 2014 23:36:40 Daniel Stenberg wrote:
> On Wed, 19 Nov 2014, Tim Rühsen wrote:
> > I won't change my toolchain just to see these formfeeds. Looks like I had
> > luck so far... but now, really, how can I work on Wget's sources from now
> > on ? I have to stop here and now...
>
> Stop with that crap (formfeed characters) already. Exactly zero people
> actually need those things in source code, which is also why no modern
> projects use them anywhere. They're not helpful these days.
>
> Also, the GNU code guidelines say this[1]: "Please use formfeed characters
> (control-L) to divide the program into pages at logical places". It does not
> say that they are mandatory or that you'll be run out of the village if you
> don't use them.
>
> Code guidelines are supposed to *help*!
>
> [1] = end of the section at
> http://www.gnu.org/prep/standards/standards.html#Formatting

If everybody agrees, I would like to remove the form feeds once and for all.
Attached is a patch.

FYI:
to count form feeds
grep -c `echo -e "\014"` <filename>

to remove form feeds
sed -i 's/'`echo -e "\014"`'//g' <filename>

Tim

Attachment: 0001-Removed-form-feeds-from-sources-and-NEWS.patch
Description: Text Data

Attachment: signature.asc
Description: This is a digitally signed message part.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]