Skip to content

Commit

Permalink
Disable todotxt grammar for files named "todo.txt"
Browse files Browse the repository at this point in the history
The file name is too common and can unintentionally conflict. Users
should manually opt in.

Fixes #10113
  • Loading branch information
archseer committed Apr 4, 2024
1 parent 88f2931 commit 5fece00
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion languages.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 5fece00

Please sign in to comment.