Skip to content

Commit

Permalink
editorconfig: indent text files with tabs
Browse files Browse the repository at this point in the history
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 <[email protected]>
Signed-off-by: Junio C Hamano <[email protected]>
  • Loading branch information
illikainen authored and gitster committed Jan 6, 2020
1 parent 53a06cf commit 7047f75
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .editorconfig
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 7047f75

Please sign in to comment.