On Thursday, July 29, 2021 at 9:41:53 AM UTC-4 Edward K. Ream wrote:
> *Step 1*: Create a *new *branch, say ekr-mypy2, to work on the mypy > command itself. The main question is what to do about mypy arguments. At > present, the mypy command supports the `@data mypy-arguments` and the `@int > mypy-link-limit` settings. However, it will probably be better always to > use the .mypy.ini file. We shall see. > If you go the .ini route, please get Leo to open the ini file for editing, or at least tell us where it is. It's always a pain to try to figure out where the right ini file is for a program, then find it. For example, I never remember where the right config files is for pylint. Leo should be able to know, letting us skip all that. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/6902b36c-290e-428c-942c-a9582a6cdd50n%40googlegroups.com.
