]> git.ipfire.org Git - thirdparty/git.git/commitdiff
editorconfig: indent text files with tabs
authorHans Jerry Illikainen <hji@dyntopia.com>
Sun, 5 Jan 2020 14:00:55 +0000 (14:00 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 6 Jan 2020 16:46:32 +0000 (08:46 -0800)
Previously, the .editorconfig did not specify an indentation style for
text files.  However, a quick look for indentation-like spacing suggest
that tabs are more common for documentation:

$ git grep -Pe '^ {4}' -- '*.txt' |wc -l
2683
$ git grep -Pe '^\t' -- '*.txt' |wc -l
14011

Note that there are a lot of files that indent list continuations (and
other things) with a single space -- if the first search was made
without the fixed quantifier the result would look very different.
However, the result does correspond with my anecdotal experience when
editing git documentation.

This commit adds *.txt to .editorconfig as an extension that should be
indented with tabs.

Signed-off-by: Hans Jerry Illikainen <hji@dyntopia.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.editorconfig

index 42cdc4bbfb05934bb9c3ed2fe0e0d45212c32d7a..f9d819623d832113014dd5d5366e8ee44ac9666a 100644 (file)
@@ -4,7 +4,7 @@ insert_final_newline = true
 
 # The settings for C (*.c and *.h) files are mirrored in .clang-format.  Keep
 # them in sync.
-[*.{c,h,sh,perl,pl,pm}]
+[*.{c,h,sh,perl,pl,pm,txt}]
 indent_style = tab
 tab_width = 8