martoon 967da232d3 Disable progress bar in CI automatically ... Problem: we have two major use cases: 1. Using xrefcheck in CI, in this case it is annoying for devops to always pass mostly always reasonable `--no-progress` option. 2. Using it locally, here we want progress bar to be enabled by default so that user could run `xrefcheck` without any options most of the time. Solution: Detect whether are we running in CI and use the respective default for whether progress bar should be displayed. Detecting whether we are within CI is possible using `CI` env variable, at least Github actions, Gitlab CI and Buildkite pass this env. `--no-progress` option still can be passed if user wants to suppress progress bar in local run. The opposite `--progress` seems to also make sense, because in case if high timeouts are set, user probably wants to track progress somehow to make sure that CI didn't hang. So we add the latter, and these two options can be used to override the default behaviour defined by `CI` env var.		2020-06-26 22:32:03 +03:00
..
Main.hs	Disable progress bar in CI automatically	2020-06-26 22:32:03 +03:00