Merge pull request #140190 from ebbertd/languagetool-linter

vscode-extensions.davidlday.languagetool-linter: init at 0.18.0
This commit is contained in:
figsoda 2021-10-01 21:38:21 -04:00 committed by GitHub
commit 3b1580264a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 26 additions and 0 deletions

View file

@ -3039,6 +3039,16 @@
githubId = 36110478;
name = "Erik Arvstedt";
};
ebbertd = {
email = "daniel@ebbert.nrw";
github = "ebbertd";
githubId = 20522234;
name = "Daniel Ebbert";
keys = [{
longkeyid = "rsa2048/0x47BC155927CBB9C7";
fingerprint = "E765 FCA3 D9BF 7FDB 856E AD73 47BC 1559 27CB B9C7";
}];
};
ebzzry = {
email = "ebzzry@ebzzry.io";
github = "ebzzry";

View file

@ -406,6 +406,22 @@ let
};
};
davidlday.languagetool-linter = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "languagetool-linter";
publisher = "davidlday";
version = "0.18.0";
sha256 = "sha256-AYINgq1BMfh7p4xhwSC2Www6dQvyQAGTA45HJsmMGDg=";
};
meta = with lib; {
description = "LanguageTool integration for VS Code";
downloadPage = "https://marketplace.visualstudio.com/items?itemName=davidlday.languagetool-linter";
homepage = "https://github.com/davidlday/vscode-languagetool-linter";
license = licenses.asl20;
maintainers = with maintainers; [ ebbertd ];
};
};
denoland.vscode-deno = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "vscode-deno";