Unnamed repository; edit this file 'description' to name the repository.
Disable todotxt grammar for files named "todo.txt"
The file name is too common and can unintentionally conflict. Users should manually opt in. Fixes #10113
Blaž Hrastnik 2024-04-04
parent 88f2931 · commit 5fece00
-rw-r--r--languages.toml3
1 files changed, 2 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml
index 755b37de..95c46765 100644
--- a/languages.toml
+++ b/languages.toml
@@ -3135,7 +3135,8 @@ source = { git = "https://github.com/kylegoetz/tree-sitter-unison", rev = "1f505
[[language]]
name = "todotxt"
scope = "text.todotxt"
-file-types = [{ glob = "todo.txt" }, { glob = "*.todo.txt" }, "todotxt"]
+# glob = "todo.txt" is too common and can conflict regular files, define in user config if necessary
+file-types = [{ glob = "*.todo.txt" }, "todotxt"]
formatter = { command = "sort" }
auto-format = true