Hi Claude, Very good point. I am not familiar with the translation process. I think we would benefit from the linter. It’s not so much a linter in the traditional sense, since it’s not linting any code. It rather finds small errors in translations files. Inconsistencies in punctuation, line count or leading or trailing whitespaces. You can also use it to do spell checking.
I believe we would benefit from that, but looking though the errors it find, most of it is inconsistent punctuation and leading whitespaces. It kind of depends where the translation is used, it it’s used in HTML in most cases, you won’t even see trailing whitespaces. Still, in some cases you might, and those would be caught. Bottom line, I think it depends. If we can integrate it well into the translation process, it could add benefit. If it makes the translation process more difficult, I believe it’s not worth it. Best -Joe On 27. Feb 2019, 17:03 +0100, Claude Paroz <cla...@2xlibre.net>, wrote: > Thanks Joe for this proposal. Unfortunately, I fear it does not play well > with our current workflow, where we download files produced by Transifex. > Could you give us an example where an error revealed by this linter could > improve the quality of the resulting translations? > > Claude > -- > You received this message because you are subscribed to a topic in the Google > Groups "Django developers (Contributions to Django itself)" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/django-developers/yn7R5P5rJQg/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > django-developers+unsubscr...@googlegroups.com. > To post to this group, send email to django-developers@googlegroups.com. > Visit this group at https://groups.google.com/group/django-developers. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-developers/a31aa5b1-53f6-46bf-aed5-468bbbd2ff3c%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Django developers (Contributions to Django itself)" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at https://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/772c7b1d-6b81-4f4e-a33d-21e5579e814b%40Spark. For more options, visit https://groups.google.com/d/optout.
