diff options
author | Michael Davis | 2022-10-22 00:34:15 +0000 |
---|---|---|
committer | GitHub | 2022-10-22 00:34:15 +0000 |
commit | 17daf6ac0a1a7ef4a44078ef11cc150a8fa41ff0 (patch) | |
tree | de02ccf9ca841688d73b3e7e5e4c4aca90cf0dcd /shell.nix | |
parent | 131d8392bbc3301ac4e0a392d92d08b08757b720 (diff) |
Change syntax for suffix file-types configurations (#4414)
The change in d801a6693c3d475b3942f705d3ef48d7966bdf65 to search for
suffixes in `file-types` is too permissive: files like the tutor or
`*.txt` files are now mistakenly interpreted as R or perl,
respectively.
This change changes the syntax for specifying a file-types entry that
matches by suffix:
```toml
file-types = [{ suffix = ".git/config" }]
```
And changes the file-type detection to first search for any non-suffix
patterns and then search for suffixes only with the file-types entries
marked explicitly as suffixes.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions