Merge pull request #198631 from fedeinthemix/fix-languagetool

This commit is contained in:
Martin Weinelt 2022-11-12 15:18:10 +01:00 committed by GitHub
commit 7478655ee7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -70,7 +70,7 @@ in {
--port ${toString cfg.port} \
${optionalString cfg.public "--public"} \
${optionalString (cfg.allowOrigin != null) "--allow-origin ${cfg.allowOrigin}"} \
"--configuration" ${settingsFormat.generate "languagetool.conf" cfg.settings}
"--config" ${settingsFormat.generate "languagetool.conf" cfg.settings}
'';
};
};