parsing options

[Tony L. Svanstrom]

On Thu, 15 May 2003 the voices made W M Brelsford write:

WMB> Or, to add to the choices, -Pi/-PI for ignore_case (as used by
WMB> grep, etc.).

 --case-folding [1|yes|true|0|no|false]

 AND...

 --ignore-case [1|yes|true|0|no|false]

 and the whole thing is case-insensitive; that ought to kill this lil problem. ;-)


 Seriously though, it doesn't really matter what character is being used as
people will learn it sooner or later no matter what it is; or they'll just do
`man bogofilter` and look it up.

 Personally I prefer f/F, as I think of it as folding vs. no folding.

-- 
  .-------------------------------------------------------------------.
  | Per scientiam ad libertatem! (Through knowledge towards freedom!) |
  `-------------------------------------------------------------------´
                   << ©1998-2003 tony at svanstrom.com >>