On 2020/03/04 11:14 , Enrico Ardizzoni wrote: > This is the "prerm" script ( a little bit overkill :) )
I'm not an expert in debian packaging. Does the prerm get executed during an upgrade? What I remember is that upgrading the debian package works, but maybe I remember wrong. Philip