2 Commits

Author	SHA1	Message	Date
Peter Eisentraut	2452e71ff2	Add script to keep .editorconfig in sync with .gitattributes ... Our repo already contained an .editorconfig file, but it was not kept up to date with .gitattributes. This adds a script that keeps these files in sync. A big advantage of the editorconfig file is that it many editors/IDEs get automatically configured to trim trailing newlines and add a final newline on save, while .gitattributes only complains about these problems instead of automatically fixing them. This also adds rules to .gitattributes for Python files as well as for C files in pg_bsd_indent directory (which have a different tab_width than most C files due to being vendored in). Author: Jelte Fennema-Nio <github-tech@jeltef.nl> Discussion: https://www.postgresql.org/message-id/flat/CAGECzQQGzbroAXi+Yicp3HvcCo4=g84kaOgjuvQ5MW9F0ubOGg@mail.gmail.com	2025-02-01 10:09:45 +01:00
Peter Eisentraut	ecb09cd5de	Add .editorconfig ... The main use right now is getting properly spaced diff views on GitHub, but perhaps this will also help developers with editors that we currently don't have setup recipes for. The settings mirror mostly what's currently in .dir-locals.el. Discussion: https://www.postgresql.org/message-id/flat/273cb788-bbb2-ff34-ad6f-5192b44e5049%402ndquadrant.com	2019-12-18 09:13:13 +01:00