Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Reorganize command line documentation #5333
This commit reorganizes our documentation about the command line along with several miscellaneous fixes.
In short, I moved the stuff about running mypy/managing imports to a separate file and reorganized the command line section.
Specific major changes include:
Some minor changes:
Just for reference, here's what the new sections look like when rendered:
Also, sorry about the size of the diff -- I sort of got carried away. FWIW most of the new stuff is in the "running mypy and managing imports" section -- the diff for the "The mypy command line" page is large, but it's mostly just me re-indenting and lightly tweaking existing text.
@ethanhs: Yeah, I thought about doing that. The only real issue is that the new
Also, I was hungry and wanted to go get dinner :/
I can look into splitting it up a little later though -- I suppose we can always just wait on merging until both PRs are approved to avoid temporary out-of-sync-ness.
Edit: they're split up now.