0001-Add-comment-clarifying-.editorconfig-is-generated.patch
text/x-patch
Filename: 0001-Add-comment-clarifying-.editorconfig-is-generated.patch
Type: text/x-patch
Part: 0
Patch
Same data as JSON:
GET /api/v1/attachments/:id/patch
the parsed metadata as JSON — format, series position, per-file stats; never the diff bytes.
API reference →
Format: format-patch
Series: patch 0001
Subject: Add comment clarifying .editorconfig is generated
| File | + | − |
|---|---|---|
| .editorconfig | 2 | 0 |
| src/tools/generate_editorconfig.py | 3 | 1 |
From 72e9b5aa323756c1d1b30b597a9e5a57da227928 Mon Sep 17 00:00:00 2001
From: Andreas Karlsson <andreas.karlsson@percona.com>
Date: Thu, 30 Apr 2026 21:18:27 +0200
Subject: [PATCH] Add comment clarifying .editorconfig is generated
To make sure people do not try to manually edit .editorconfig let's add
a comment on top of the file pointing them towards where they can learn
how to generate it.
---
.editorconfig | 2 ++
src/tools/generate_editorconfig.py | 4 +++-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/.editorconfig b/.editorconfig
index 0ee9bd28ac4..24d3fdeae81 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -1,3 +1,5 @@
+# Generated by src/tools/generate_editorconfig.py
+
root = true
[*]
diff --git a/src/tools/generate_editorconfig.py b/src/tools/generate_editorconfig.py
index 0ce54f7292a..7ea1dcf5442 100755
--- a/src/tools/generate_editorconfig.py
+++ b/src/tools/generate_editorconfig.py
@@ -25,7 +25,9 @@ def main():
with open(".gitattributes", "r") as f:
lines = f.read().splitlines()
- new_contents = """root = true
+ new_contents = """# Generated by src/tools/generate_editorconfig.py
+
+root = true
[*]
indent_size = tab
--
2.43.0