[Top][All Lists]
[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-----