[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#278536: debian-policy: Please add INSTALL_PLUGIN for DEB_BUILD_OPTIONS support snippets



Hi,
On Wed, 27 Oct 2004 18:13:05 +0200, Gerfried Fuchs <alfie@debian.org> said: 

>  It would be nice to have added to the DEB_BUILD_OPTIONS support
>  snippet
> an INSTALL_PLUGIN alias.

	This is not a bug in policy, policy is not supposed to be
 exhaustive.  You have not demonstrated why this merits being mandated
 in policy rather than being something fit for the developers
 reference; "wouldn't it be nice" things are generally a poor fit for
 policy.

>  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.

	This is not even a proposal, there have been no test
 implementations described, there is no suggested wording (even if
 this merited going into policy, which it does not). This seems to be
 more like a discussion starter that should happen on debian-devel
 _first_, rather than a policy proposal.

	Since this is neither a bug, nor a proposal, I am closing this
 report. 

	manoj

-- 
Never trust a computer you can't repair yourself.
Manoj Srivastava   <srivasta@debian.org>  <http://www.debian.org/%7Esrivasta/>
1024D/BF24424C print 4966 F272 D093 B493 410B  924B 21BA DABB BF24 424C



Reply to: