Commits on Mar 17, 2024

1. Hack: implement verbose output correctly on Windows …

   This also contains a bug-fix for Linux as well with the handling of incomplete lines.

   

   dra27 committed Mar 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 2791e59
   • Browse repository at this point

   Copy the full SHA

   2791e59 View commit details

   Browse the repository at this point in the history

2. Hack: Refactoring in OpamSystem …

   Starting point was adding a ?text parameter (which wasn't needed) but also tidying
   a few bits and bobs.

   

   dra27 committed Mar 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 379b176
   • Browse repository at this point

   Copy the full SHA

   379b176 View commit details

   Browse the repository at this point in the history

3. Hack: Displaying extractions in the status bar

   

   dra27 committed Mar 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 8682596
   • Browse repository at this point

   Copy the full SHA

   8682596 View commit details

   Browse the repository at this point in the history

4. Hack: status improvements in OpamParallel …

   Implementation is a waste of space, but PoCs two ideas:
   - Don't display _anything_ about a job until it has been running
     for at least 2 seconds (idea is that tiny jobs don't keep churning
     the status indicator)
   - After 5 seconds, display a spinner for jobs which updates if
     stdout/stderr has changed since the last refresh (a thread is used
     to poll for changes).

   

   dra27 committed Mar 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 9c61d40
   • Browse repository at this point

   Copy the full SHA

   9c61d40 View commit details

   Browse the repository at this point in the history