Re: [SM-PLUGINS] server side filter plugin problem about $DEFAULT prefix

[Bu X. <bus...@gm...>]

Another problem about procmail configurations, here is my /etc/procmailrc file:

MAILDIR=$HOME/mail
ORGMAIL=/var/mail/$USER
LOGFILE=$HOME/.maillog
SHELL=/bin/sh
LOCKFILE=$HOME/.lockmail
VERBOSE=no
DEFAULT=$ORGMAIL #procmail said the default DEFAULT value is the same as $ORGMAIL


I add a filter rule:
If From Contains bus...@gm... then Move to Folder gmail
Then it will be saved into /home/buxiaobing/.procmailrc as the following:

########## BEGIN SQUIRRELMAIL SERVER SIDE FILTER RULES  ##########
########## DO NOT EDIT ANYTHING IN THIS SECTION BY HAND ##########
#
####RULE#### From-''-bu...@gm...-''-gmail-''-MOVE-''-ON-''-OFF-''--''-CONTAINS-''-
:0H:
* ^From: .*bushurui@gmail\.com
$DEFAULT/gmail


#
########## END SQUIRRELMAIL SERVER SIDE FILTER RULES    ##########
########## DO NOT EDIT ANYTHING IN THIS SECTION BY HAND ##########

So the mail sent from bus...@gm... will saved to $DEFAULT/gmail(/var/mail/buxiaobing/gmail), /var/mail/buxiaobing is a file, I use mbox format, in fact it should be saved to $MAILDIR/gmail

How can I remove the $DEFAULT/ prefix and directly save as follows?

* ^From: .*bushurui@gmail\.com
gmail


I have already defined my mailbox format at server_side_filters_procmail/config.php
// Indicates whether or not your mail store is organized using
// mailboxes or maildirs.  If you do not know which, you should
// make that determination before proceeding here, or filtering
// will not work.
//
//        1 = use maildir syntax
// 0 (zero) = use mailbox syntax
//
$use_maildirs = 0;

And if I set $use_maildirs = 1;

Then add the filter rule, the onlu difference is there will be a "/"  appended at the end of the gmail and the prefix $DEFAULT/ still alive.

########## BEGIN SQUIRRELMAIL SERVER SIDE FILTER RULES  ##########
########## DO NOT EDIT ANYTHING IN THIS SECTION BY HAND ##########
#
####RULE#### From-''-bu...@gm...-''-gmail-''-MOVE-''-ON-''-OFF-''--''-CONTAINS-''-
:0H:
* ^From: .*bushurui@gmail\.com
$DEFAULT/gmail/