Commit graph

154 commits

Author SHA1 Message Date
Ed Page
144ee4d018 chore: Release 2023-03-29 21:55:35 -05:00
Ed Page
6cf303d421 chore: Release 2023-03-18 04:20:06 -05:00
Ed Page
e15de8b72e chore: Release 2023-03-18 02:09:49 -05:00
Ed Page
ac46a6ba54 feat(config): Custom ignores
Typos primarily works off of identifiers and words.  We have built-in
support to detect constructs that span identifiers that should not be
spell checked, like UUIDs, emails, domains, etc.  This opens it up for
for user-defined identifier-spanning constructs using regexes via
`extend-ignore-re`.

This works differently than any of the previous ways of ignoring thing
because the regexes require extra parse passes.  Under the assumption
that (1) actual typos are rare and (2) number of files relying on
`extend-ignore-re` are rare, we only do these extra parse passes when a
typo is found, causing almost no performance hit in the expected case.

While this could be used for more generic types of ignores, it isn't the
most maintainable because it is separate from the source files in
question.  Ideally, we'd implement document settings / directives for
these cases (#316).
2023-03-18 01:25:39 -05:00
Ed Page
a1a601195e chore: Release 2023-03-17 23:59:36 -05:00
Ed Page
fc7dfba01b docs(reference): Fix glob field name 2023-03-17 23:37:57 -05:00
Ed Page
797574c10a chore: Release 2023-03-17 23:09:02 -05:00
Ed Page
af90817e50 feat(dict): extend-ignore-identifiers-re support
This opens the door for users to provide patterns for identifiers that
are always valid.  The key limitation is "identifiers".  Run `typos
--identifiers` to verify what you are trying to write the regex for.

Fixes #651
2023-03-17 22:40:55 -05:00
Ed Page
03286f0f82 chore: Release 2023-03-16 05:22:42 -05:00
Ed Page
57502b53cc chore: Release 2023-03-16 03:47:08 -05:00
Ed Page
dc0eafc7e5 chore: Release 2023-03-14 02:14:39 -05:00
Ed Page
28e7f17a65 chore: Release 2023-03-13 20:45:44 -05:00
Ed Page
6add7347fc docs(design): Note that we want non-transient, machine-independent config 2023-03-13 15:08:12 -05:00
Ed Page
34289639e6 chore: Release 2023-03-13 12:33:33 -05:00
Ed Page
3d0de83fb6 chore: Release 2023-03-13 11:57:15 -05:00
Ed Page
a50bd03c2a chore: Release 2023-03-07 04:47:20 -06:00
Ed Page
5414608bf6 chore: Release 2023-03-07 03:18:52 -06:00
Ed Page
52d0ea7ddf chore: Release 2023-03-05 21:02:01 -06:00
Ed Page
08a9831825 chore: Release 2023-03-05 20:43:46 -06:00
Ed Page
c389c36b66 chore: Release 2023-02-28 07:25:30 -06:00
Ed Page
f4293b58c5 chore: Release 2023-02-28 06:30:27 -06:00
Ed Page
8cef23a8f4 chore: Release 2023-02-27 16:14:07 -06:00
Ed Page
9f306b2be9 chore: Release 2023-02-27 15:33:00 -06:00
Ed Page
26c2ca1853 chore: Release 2023-02-23 13:09:37 -06:00
Ed Page
efa38136f2
Merge pull request #657 from bnjbvr/write-changes
Allow writing changes in the github action
2023-02-23 13:08:55 -06:00
Ed Page
59a10c298a chore: Release 2023-02-23 10:44:11 -06:00
Benjamin Bouvier
c24f4675b8 docs: document writing_changes in the Github action 2023-02-08 15:04:32 +01:00
Ed Page
6e14cefb85 chore: Release 2023-02-01 10:09:00 -06:00
Ed Page
97770bdd02 chore: Release 2023-01-25 10:31:49 -06:00
Ed Page
12c6491895 chore: Release 2023-01-16 08:43:06 -06:00
Ed Page
1f4ee742ab chore: Release 2023-01-13 21:18:38 -06:00
Ed Page
59c4713e8b docs(ref): Further clarify identifiers and words
This supersedes #648
2023-01-03 07:06:08 -06:00
Ed Page
6773b4caa2 docs(ref): Define identifiers/words
This came up in #646
2023-01-02 07:13:25 -06:00
Ed Page
6efbdc33f4 chore: Release 2022-12-20 14:39:46 -06:00
Ville Skyttä
ec3ffa591c feat: Add Docker pre-commit hook
Mostly as an alternative to the src install, but trading host dependency
on Rust with one on Docker.
2022-12-20 21:06:04 +02:00
Ed Page
f268a89d38 chore: Release 2022-12-19 08:47:53 -06:00
Ed Page
1d8996e205 chore: Release 2022-12-06 13:54:17 -06:00
Ed Page
b38d05b941 docs: Clarify word vs identifier 2022-12-02 10:05:09 -06:00
Ed Page
4637c964a3 chore: Release 2022-12-01 20:25:20 -06:00
Ed Page
98c3a33cc6 chore: Release 2022-12-01 20:00:28 -06:00
Ed Page
6bf2e7c7d7 chore: Release 2022-11-29 23:00:05 -06:00
Ed Page
8b88f9f340 chore: Release 2022-11-21 22:26:08 -06:00
Ed Page
eff3fe8444 chore: Release 2022-11-04 09:52:20 -05:00
Ed Page
39b28c3010 chore: Release 2022-11-03 22:28:10 -05:00
Ed Page
47912c390a chore: Release 2022-10-25 07:11:46 -05:00
Ed Page
4e7e37799b chore: Release 2022-10-20 07:08:07 -05:00
Ed Page
2fc71b2e13 chore: Release 2022-10-11 09:48:09 -05:00
Ed Page
9576a03cee fix: Don't point to 1.12.9 (unsure where it went) 2022-10-06 14:35:40 -05:00
Ed Page
16ca0accbb chore: Release 2022-10-06 08:26:11 -05:00
Ed Page
45a93446f2 chore: Release 2022-09-28 16:15:05 -05:00