[tor-bugs] #30752 [Core Tor/Tor]: Practracker: usability improvements from May retrospective

[Tor Bug Tracker & Wiki]

#30752: Practracker: usability improvements from May retrospective
---------------------------------------+-----------------------------------
 Reporter:  nickm                      |          Owner:  nickm
     Type:  enhancement                |         Status:  needs_review
 Priority:  Medium                     |      Milestone:  Tor:
                                       |  0.4.2.x-final
Component:  Core Tor/Tor               |        Version:
 Severity:  Normal                     |     Resolution:
 Keywords:  network-team-roadmap-july  |  Actual Points:  .2
Parent ID:                             |         Points:  1.5
 Reviewer:  catalyst                   |        Sponsor:  Sponsor31-can
---------------------------------------+-----------------------------------

Comment (by catalyst):

 Minor comments:

 typo in commit summary `Pracktracker: give the number of new errors
 found.`

 The Makefile should provide a way to pass command line options in to
 practracker from the environment, so CI won't have to run practracker by
 bypassing the Makefile. This can be useful if we want to run with less-
 friendly options during cron builds, for example.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/30752#comment:9>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online