On Fri, Jan 04, 2002 at 03:20:55AM -0500, Ken Wahl wrote: > On Thu, Jan 03, 2002 at 10:06:49AM -0800, Gary Johnson wrote: > > How about > > > > set display_filter=demoroniser > > > > instead? Then you can still use mutt's built-in pager and have the > > headers weeded. > > > > You need to install a patch to get the display_filter for 1.2.5. I > > don't know about the 1.3.x series. > > I just tried your suggestion with 1.3.25i and it led to some funky > terminal refresh problems. I can, however, pipe a message through > demoroniser manually without problems using the pipe "|" command.
I received e-mail earlier from Michael Sanders who reported that it worked fine for him. He is using 1.3.22.1i. > I was unable to find a display_filter patch on the mutt ftp server. I got the patch for 1.2 from either the mutt-users or mutt-dev list when it was first created. As I said, I know nothing about the 1.3.x series, so perhaps Michael can tell you what he did. I realize that this reply hasn't been very helpful, but I didn't want to ignore you--I just don't have the answers. Gary -- Gary Johnson | Agilent Technologies [EMAIL PROTECTED] | Spokane, Washington, USA http://www.spocom.com/users/gjohnson/mutt/ |