- Update readme.
- php7 -> php8.
- Fix python-coverage.
- Also need python decorator module.
- Replaced Mcrt1 with rotatingtree since Mcrt1 started raising
a new warning.
- Made termstr's length match the on-screen width.
- Achieved by adding a zero width character after each wide
character.
- This fixes ljust and rjust, so that there is correct padding,
otherwise Portal appearances aren't the correct width.
- When getting a sub-string containing half a wide character,
the half character is a space.
- Some wide characters are still broken. e.g. country flags
- Fixed viewing projects with no files.
- Changed fill3.Column to make it work with sorted lists.
- Simplified Log class to not need fill3.Column.
- Eris results will be cleared when the tools config changes.
This reverts commit 04fb17cb3f.
- Am seeing a bug where only one worker continues processing
on python3.8.
- Ubuntu and freedesktop-sdk are still on 3.7.
- Not using any features of 3.8 yet.
- Also removes color from mypy.
- Now using python3.4 on debian, and python3.5 elsewhere.
- Added test-distributions script that checks that
install-dependencies works on different distributions.
Urwid is only be used for input, not display.
Now adding the minimal set of urwid modules that vigil needs.
These can be further pared down in future.
Thank you to Ian Ward.
This had stopped working.
Unfortunately it doesn't seem to help anyway.
Ideally the responsiveness of the interface is the same, regardless
of whether the workers are paused or not. Atm its much better when
they are paused.
- There is less forking, once per worker process, instead of once per job.
- Nice and ionice are applied to the worker processes and hence all jobs run
by them.
- This allows jobs to benefit from caches filled by previous jobs. For example
many tools applied to a python file need to calculate if its python2 or python3.
