Updated ideas.
This commit is contained in:
parent
11a7062333
commit
8283132eed
1 changed files with 2 additions and 0 deletions
2
TODO
2
TODO
|
|
@ -266,6 +266,8 @@ Ideas
|
||||||
editor? pygment syntax theme? Compress the cache? Ignore which paths? Log to disk?
|
editor? pygment syntax theme? Compress the cache? Ignore which paths? Log to disk?
|
||||||
The cache path?
|
The cache path?
|
||||||
- Can mypy be a tool?
|
- Can mypy be a tool?
|
||||||
|
<- Yes, but wait for it to be included in python, or until it is an ubuntu package.
|
||||||
|
- Have a command-line option to create workers that run remotely.
|
||||||
|
|
||||||
|
|
||||||
Shelved
|
Shelved
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue