bug-gnulib
[Top][All Lists]
Advanced

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

tabs [was: [bug-gnulib] gnulib-tool: new option --makefile-name]


From: Eric Blake
Subject: tabs [was: [bug-gnulib] gnulib-tool: new option --makefile-name]
Date: Thu, 31 Aug 2006 07:35:55 -0600
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.5) Gecko/20060719 Thunderbird/1.5.0.5 Mnenhy/0.7.4.666

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

According to Bruno Haible on 8/31/2006 7:07 AM:
> Ah, now I understand better what you meant. Your patch would be ok to
> apply after converting tabs to spaces [hint for your .emacs:
>   ;; Tabs are anachronistic.
>   (setq-default indent-tabs-mode nil)

Actually, a lot of the gnulib files intentionally use TABs instead of
spaces.  And emacs whitespace-mode tries to convert to tabs (I assume rms
consents to that behavior), unless you have (setq
whitespace-check-indent-whitespace nil) in your ~/.emacs.  But GNU Coding
Standards are silent, so a project is allowed either style (tabs, or 8
spaces, or even inconsistently mixed).  Rather than making me globally
change my style, would you accept this patch so that gnulib-tool will stay
with your style, regardless of emacs whitespace-mode?

2006-08-31  Eric Blake  <address@hidden>

        * gnulib-tool: Don't let emacs change spaces to TAB.

Index: gnulib-tool
===================================================================
RCS file: /sources/gnulib/gnulib/gnulib-tool,v
retrieving revision 1.152
diff -u -p -r1.152 gnulib-tool
- --- gnulib-tool 31 Aug 2006 13:11:23 -0000      1.152
+++ gnulib-tool 31 Aug 2006 13:32:25 -0000
@@ -2603,3 +2603,8 @@ trap '' 0
 trap 'exit $?' 1 2 3 15

 exit 0
+
+# Local Variables:
+# indent-tabs-mode: nil
+# whitespace-check-buffer-indent: nil
+# End:

- --
Life is short - so eat dessert first!

Eric Blake             address@hidden
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.1 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFE9uW784KuGfSFAYARAnwoAJ0TNpyV7B1FonYRmHH/xbFCISpeogCggCwq
njL/f2c/ZamYgp7ad2yKhzo=
=mZOK
-----END PGP SIGNATURE-----




reply via email to

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