Changes for version 0.017 - 2022-07-24

  • Replaca old schema name unix::local_uid with unix::uid::exists.


Check whether browsers are paused
Terminate browsers (by default with -KILL)
Pause and unpause browsers alternately
Pause (kill -STOP) browsers
List browser processes
Restart browsers
Start browsers
Terminate browsers (by default with -KILL)
Unpause (resume, continue, kill -CONT) browsers


Utilities related to browsers, particularly modern GUI ones