On Mon, Jun 15, 2015 at 3:44 PM, Leopold Palomo-Avellaneda wrote: > and propose what? Sounds like the only thing they need to do is to install them into the right path: /usr/lib/$PACKAGE/plugins/ Maybe they even already have a configure option for that? -- bye, pabs https://wiki.debian.org/PaulWise