Currently (2022-01-27) the `--verbose` option has no effect. What should `--verbose` do? (Please extend list.) - [ ] `pull-cabal`: print filename that has just been downloaded. Helpful if hundreds of files are pulled, which can take a while.
Currently (2022-01-27) the
--verboseoption has no effect.What should
--verbosedo? (Please extend list.)pull-cabal: print filename that has just been downloaded. Helpful if hundreds of files are pulled, which can take a while.