[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
0001-Removed-form-feeds-from-sources-and-NEWS.patch
Description: Text Data
signature.asc
Description: This is a digitally signed message part.
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, (continued)
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Darshit Shah, 2014/11/19
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Tim Rühsen, 2014/11/19
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Darshit Shah, 2014/11/19
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Tim Rühsen, 2014/11/19
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Daniel Stenberg, 2014/11/19
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Darshit Shah, 2014/11/20
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Ángel González, 2014/11/20
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Darshit Shah, 2014/11/20
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Tim Ruehsen, 2014/11/20
- Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Giuseppe Scrivano, 2014/11/20
- Re: [Bug-wget] Removing form feeds from sources,
Tim Ruehsen <=
- Re: [Bug-wget] Removing form feeds from sources, Giuseppe Scrivano, 2014/11/20
- Re: [Bug-wget] Removing form feeds from sources, Tim Ruehsen, 2014/11/20
- Re: [Bug-wget] Removing form feeds from sources, Darshit Shah, 2014/11/21
Re: [Bug-wget] [PATCH] Fix possible issues running in a turkish locale, Ángel González, 2014/11/19