diff options
| -rw-r--r-- | .editorconfig | 15 | ||||
| -rw-r--r-- | scripts/git.orderfile | 29 |
2 files changed, 44 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000000..b2022e391a --- /dev/null +++ b/.editorconfig @@ -0,0 +1,15 @@ +# http://editorconfig.org +root = true + +[*] +end_of_line = lf +insert_final_newline = true +charset = utf-8 + +[Makefile*] +indent_style = tab +indent_size = 8 + +[*.{c,h}] +indent_style = space +indent_size = 4 diff --git a/scripts/git.orderfile b/scripts/git.orderfile new file mode 100644 index 0000000000..ac699700b1 --- /dev/null +++ b/scripts/git.orderfile @@ -0,0 +1,29 @@ +# +# order file for git, to produce patches which are easier to review +# by diffing the important stuff like interface changes first. +# +# one-off usage: +# git diff -O scripts/git.orderfile ... +# +# add to git config: +# git config diff.orderFile scripts/git.orderfile +# + +# Documentation +docs/* +*.texi + +# build system +configure +Makefile* +*.mak + +# qapi schema +*.json + +# headers +*.h + +# code +*.c + |