Jani Nikula <[email protected]> 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 _______________________________________________ notmuch mailing list [email protected] http://notmuchmail.org/mailman/listinfo/notmuch
