20 Feb
2012
20 Feb
'12
9:38 p.m.
On 20.02.2012 17:11, Michal Hlavinka wrote:
and also in sieve (for pigeonhole): change include :personal "00-script1.sieve"; to include :personal "00-script1";
Hi Michal,
See pigeonhole changelog:
v0.2.6 13-02-2012 Stephan Bosch stephan@rename-it.nl
* This release fixes unintentional behavior of the include extension.
Included scriptnames with a name like "name.sieve" would implicitly map to a script file called "name.sieve" and not "name.sieve.sieve". Keep in mind that the .sieve file extension has no meaning from within the Sieve language. A Sieve script is always stored with an appended .sieve file extension, also when the name already ends with a .sieve suffix. IMPORTANT: Some installations have relied on this unintentional feature, so check your script includes for issues before upgrading.
Best regards,
Morten