Jani Nikula <jani@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