Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.kernel.org/pub/scm/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHans Jerry Illikainen <hji@dyntopia.com>2020-01-05 17:00:55 +0300
committerJunio C Hamano <gitster@pobox.com>2020-01-06 19:46:32 +0300
commit7047f75f2275d1d84ef2f15f01c99ca890119719 (patch)
tree168c585646d62e41af089cc3b4c4db8b80a9b70c
parent53a06cf39b756eddfe4a2a34da93e3d04eb7b728 (diff)
editorconfig: indent text files with tabs
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>
-rw-r--r--.editorconfig2
1 files changed, 1 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig
index 42cdc4bbfb..f9d819623d 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -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