Bug#278536: debian-policy: Please add INSTALL_PLUGIN for DEB_BUILD_OPTIONS support snippets
Package: debian-policy
Version: 3.6.1.1
Severity: minor
Hi!
It would be nice to have added to the DEB_BUILD_OPTIONS support snippet
an INSTALL_PLUGIN alias.
Rationale: If we strip only through INSTALL_PROGRAM people tend to
install plugins for various programs with executable permissions set. A
seperate INSTALL_PLUGIN alias would only differ in the INSTALL_PROGRAM
in its permission changed from 755 to 644. This additionally to doing it
right[tm] helps people understand that plugins for e.g. xmms, gkrellm or
whatever doesn't need to be have execute permisson, but still get
stripped/not stripped through DEB_BUILD_OPTIONS handling.
Thanks in advance for considering this.
Alfie
--
If I lived in a country that still adhered to non-standard and non-metric
units of measurement and that promoted MM-DD-YYYY as an acceptable date
format, I wouldn't throw stones. ;)
-- Charl P. Botha to an .us citicen complaining that 22.3. is not unambiguous
Reply to: