Finally got around to create a ticket for this: https://code.djangoproject.com/ticket/32309
I've also created a PoC with a new --directory option: https://github.com/django/django/pull/13827 Sage On Thursday, 1 October 2020 at 21:14:51 UTC+7 re...@fleschenberg.net wrote: > Hi, > > On 01.10.20 15:56, laym...@gmail.com wrote: > > Thanks for the feedback! From my observations, Django does not ignore > > hidden /files/, > > it only ignores hidden /directories/. So, the files that you listed > > should work fine. > > Ah, my bad, sorry. > > > As for the built-in exclusion list, I'm not sure if we should add that. > > I think ignoring .git > > by default is fine, but we shouldn't assume that people would like to > > ignore .coverage. > > Hmmm, you mean because other tools besides > https://pypi.org/project/coverage/ might use that path? I guess that > could happen, yup. > > > Regarding exclusion vs inclusion... I'm not sure what the best option > > is, though! :) > > I think I prefer explicit exclusion by the user (except for obvious > cases like .git and __pycache__) because it's less surprising. > > René > > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/1985ff35-48b6-4fa4-8c5d-d085eb3c7b86n%40googlegroups.com.