Bug#803244: [php-maint] Bug#803244: php5-common: upgrading enables manually disabled opcache

2015-10-28 Thread Ondřej Surý
The configuration changes done by the helper utilities are conserved, so I don't think this violates the policies. Anyway I would be very happy to apply any patch that would detect a ini file deleted by an user. But it has to be well tested on single installs, upgrades and cross-release upgrades (

Bug#803244: [php-maint] Bug#803244: php5-common: upgrading enables manually disabled opcache

2015-10-28 Thread Antti Salmela
Actually, isn't this policy violation? 10.7.3: Configuration file handling must conform to the following behavior: local changes must be preserved during a package upgrade On Wed, Oct 28, 2015 at 03:02:46PM +0200, Antti Salmela wrote: > I don't think that this is just a documentation issue, b

Bug#803244: [php-maint] Bug#803244: php5-common: upgrading enables manually disabled opcache

2015-10-28 Thread Antti Salmela
I don't think that this is just a documentation issue, behaviour is just too unexpected. dpkg doesn't recreate removed config files, apache2 has similar helpers, but it doesn't recreate links removed by hand on update. -- Antti On Wed, Oct 28, 2015 at 01:21:06PM +0100, Ondřej Surý wrote: > Cont

Bug#803244: [php-maint] Bug#803244: php5-common: upgrading enables manually disabled opcache

2015-10-28 Thread Ondřej Surý
Control: severity -1 minor Control: reassign 797350 php5-common Control: forcemerge 797350 -1 Dear Antti, yes, the documentation on module management could be improved, and it has been already filled as 803244. Cheers, Ondrej On Wed, Oct 28, 2015, at 12:30, Antti Salmela wrote: > Package: php5-