$BOGOFILTER_DIR has no effect, rc example: bogofilter_dir not recognized

[Christian Ebert]

Hi,

I ran into issues when changing the BOGOFILTER_DIR location:

1. $BOGOFILTER_DIR

works for testing when explicitly set, e.g. the following does 
not create the default $HOME/.bogofilter, but the desired 
location:

$ export BOGOFILTER_DIR=/Users/myself/some/location
$ bogofilter -QQ | grep bogofilter-dir
bogofilter-dir     = /Users/myself/some/location

However, when set e.g. in bashrc, and with new login shell:
$ echo $BOGOFILTER_DIR
/Users/myself/some/location
$ bogofilter -QQ | grep bogofilter-dir
bogofilter-dir     = /Users/myself/.bogofilter


2. rc file: bogofilter_dir not recognized

$ grep bogofilter_dir /usr/local/etc/bogofilter.cf.example
#bogofilter_dir=~/.bogofilter
##bogofilter_dir=/var/spool/bogofilter
#		    file name (relative to bogofilter_dir)

However, setting
bogofilter_dir=/Users/myself/some/location
has not effect. The -QQ query tells us the real option name: 
bogofilter-dir

Not sure if this applies to all the underscored options.

What's worrying is:
$ grep bogofilter_ /usr/local/bin/bf_compact
     DIR=$($BOGOFILTER -QQ | grep ^bogofilter_dir | gawk '{print $3}')

$ bogofilter --version
bogofilter-lmdb version 1.3.0.rc1
     Database: LMDB 0.9.33: (May 21, 2024)
Copyright (C) 2002 - 2003 Eric S. Raymond, Adrian Otto, Gyepi Sam

Copyright (C) 2002 - 2004 Greg Louis
Copyright (C) 2002 - 2013 David Relson
Copyright (C) 2002 - 2025 Matthias Andree
bogofilter comes with ABSOLUTELY NO WARRANTY.  This is free software, and
you are welcome to redistribute it under the General Public License.  See
the COPYING file with the source distribution for details.
$ sw_vers
ProductName:		macOS
ProductVersion:		15.4.1
BuildVersion:		24E263

-- 
LAST SHIP HOME
The circumnavigation of the world of the Peter von Danzig
Winner of the German Ocean Film Award 2019
Watch the movie in full online: https://lastshiphome.de/en/movie