Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

    PaulHowarth/Blog/2006-05-02

Tuesday 2nd May 2006

Local Packages

  • Updated gtkwave to 3.0.0. The version bump should clear up any confusion there may be about the currently-maintained branch of the code (2.x is dead). The new version bundles some contributed code, which needed Makefile tweaks to get it to build cleanly using %{optflags} and the system zlib/bzip2 libraries.

Fedora Extras

  • Updated gtkwave to 3.0.0

Mail Server

Started doing server-side mail filtering using procmail in conjunction with the dovecot IMAP server.

In my main .procmailrc, I have a line near the top: 

# Try out server-side filtering for mailing lists
INCLUDERC=filter-mailing-lists

And the filter-mailing-list file contains a bunch of recipes like this: 

# Server-side filter for Paul's mailing lists

# Save MAILDIR
OLDMAILDIR=$MAILDIR

# Folders are relative to here
MAILDIR=$HOME/mail/inbox

# fedora-list
:0
* ^List-Id:.*fedora-list\.redhat\.com
.Linux.fedora-list/

# fedora-devel-list
:0
* ^List-Id:.*fedora-devel-list\.redhat\.com
.Linux.fedora-devel-list/

# ... more of the same ...

# Restore MAILDIR
MAILDIR=$OLDMAILDIR

Works very nicely, and means that I can turn off all client-side filtering so that:

  1. I get to read my mail sooner, and
  2. I don't need to set up a bunch of new filters every time I try a new mail client (e.g. when visiting my brother-in-law last month and using his computer).

Recent