Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

False positive: delink #1213

Open
not-my-profile opened this issue Jan 4, 2025 · 3 comments
Open

False positive: delink #1213

not-my-profile opened this issue Jan 4, 2025 · 3 comments

Comments

@not-my-profile
Copy link
Contributor

typos currently outputs:

error: `delink` should be `unlink`

However "delink" is in the OED and Google ngrams shows it to be more frequent than unlink in recent years.

So I think we should add "delink" to english.csv.

@szepeviktor
Copy link
Contributor

Please see #1045 for brand names.

@epage
Copy link
Collaborator

epage commented Jan 6, 2025

@not-my-profile I'm curious, under what context are you using delink?

@not-my-profile
Copy link
Contributor Author

@szepeviktor this is about a verb, not brand names.

@epage I encountered it in the pandoc source but I just realized that it's actually used there with a different meaning (removing links). Looking into the GitHub search results most of them seem to stem from Debian's apt-ftparchive tool to have a --delink flag to perform "delinking".

In any case I don't see any strong basis for the delink -> unlink suggestion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants