diff options
author | mataha <mataha@users.noreply.github.com> | 2023-07-10 21:58:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-10 15:58:17 -0400 |
commit | 601e122e9fc94b3523d53e46eb734f54cfcc3134 (patch) | |
tree | bbc2acbacb5e1831ca1f2893162831531fa091d1 /crates/globset/Cargo.toml | |
parent | efb2e8ce1e1277fbfa37329b6663c8cf86d6951a (diff) |
ignore/types: add Windows Command Prompt files
This PR adds `*.bat` and `*.cmd` file types.
In doing so, it makes a distinction between batch files (old standard
from the MS-DOS era) and command scripts (new flavor - can operate on
batch files, although `*.cmd` is preferred for various reasons, the
main one being batch files will set `ERRORLEVEL` following inconsistent
MS-DOS style rules[1]).
PR #2556
[1]: https://groups.google.com/g/microsoft.public.win2000.cmdprompt.admin/c/XHeUq8oe2wk/m/LIEViGNmkK0J#i106
Diffstat (limited to 'crates/globset/Cargo.toml')
0 files changed, 0 insertions, 0 deletions