Jani Nikula <jani at nikula.org> writes: > > One more thing: do we need to ensure we don't emit gzipped stuff to the > terminal? >
Well, there's a relatively small risk; the user has to explicitly give the --gzip option. It might mess up the terminal; in my experiments there were no noticible ill effects from interrupting "notmuch dump --gzip" spewing to the terminal (zsh in urxvt; ymmv). d
