Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-29 Thread Ian Jackson
Sean Whitton writes ("Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient"): > Indeed, but the shading will get a lot less useful if it merely > indicates that there is /some/ common tool that implements the > requirement. We probably want to res

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Sean Whitton
Hello, On Sun 28 Oct 2018 at 04:04PM GMT, Niels Thykier wrote: >> Well, more specifically debhelper. >> > > FTR, I would be happy if the solution was not specific to "debhelper" in > the long term. In particular, there is a world of difference between > "debhelper", "cdbs with debhelper",

Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Debian Bug Tracking System
Processing control commands: > tag -1 -patch +pending Bug #188731 [debian-policy] Also strip .comment and .note sections Removed tag(s) patch. Bug #188731 [debian-policy] Also strip .comment and .note sections Added tag(s) pending. -- 188731:

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Sean Whitton
control: tag -1 -patch +pending Hello, On Sun 28 Oct 2018 at 03:51PM GMT, Niels Thykier wrote: >> .. [#] >> - You might also want to use the options ``--remove-section=.comment`` >> - and ``--remove-section=.note`` on both shared libraries and >> - executables, and ``--strip-debug`` on

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Niels Thykier
Sean Whitton: > Hello Niels, > > On Sun 28 Oct 2018 at 02:22PM GMT, Niels Thykier wrote: > >> I think I agree with your suggestion of shading policy requirements that >> are already covered by common tools. > > Well, more specifically debhelper. > FTR, I would be happy if the solution was not

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Niels Thykier
Sean Whitton: > control: tag -1 +patch > > Hello, > > On Fri 28 Sep 2018 at 05:38AM GMT, Niels Thykier wrote: > >> * We now have auto-generated dbgsym packages by dh_strip (which were >>just an idea when Bill wrote that answer). >> >> * Policy mentions "--remove-section=.comment

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Sean Whitton
Hello Niels, On Sun 28 Oct 2018 at 02:22PM GMT, Niels Thykier wrote: > I think I agree with your suggestion of shading policy requirements that > are already covered by common tools. Well, more specifically debhelper. > At the moment, I am hesitant as to whether I should second Sean's text >

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-28 Thread Niels Thykier
Russ Allbery: > Sean Whitton writes: > >> Thank you for following up. > >> Here is a minimal patch, for which I am seeking seconds. I didn't >> include a recommendation to use dh_strip because we generally keep such >> recommendations in footnotes rather than the text of Policy, and we are >>

Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-27 Thread Sean Whitton
[moving to the list] Hello, On Sat 27 Oct 2018 at 02:57PM -0700, Russ Allbery wrote: > On an entirely unrelated note (and probably a larger project than anyone > will be able to tackle any time soon), I think it would be very helpful if > we had some way of annotating what parts of Policy are

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-27 Thread Russ Allbery
Sean Whitton writes: > Thank you for following up. > Here is a minimal patch, for which I am seeking seconds. I didn't > include a recommendation to use dh_strip because we generally keep such > recommendations in footnotes rather than the text of Policy, and we are > trying to reduce the

Processed: Re: Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-27 Thread Debian Bug Tracking System
Processing control commands: > tag -1 +patch Bug #188731 [debian-policy] Also strip .comment and .note sections Added tag(s) patch. -- 188731: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=188731 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-10-27 Thread Sean Whitton
control: tag -1 +patch Hello, On Fri 28 Sep 2018 at 05:38AM GMT, Niels Thykier wrote: > * We now have auto-generated dbgsym packages by dh_strip (which were >just an idea when Bill wrote that answer). > > * Policy mentions "--remove-section=.comment --remove-section=.note" in >a

Bug#188731: debian-policy: "strip --strip-unneeded" is insufficient

2018-09-27 Thread Niels Thykier
On Mon, 11 May 2015 11:18:29 +0200 Bill Allombert wrote: > On Mon, May 11, 2015 at 01:39:43PM +0500, Andrey Rahmatullin wrote: > > On Sat, Apr 12, 2003 at 07:24:12PM +0200, Matthias Urlichs wrote: > > > Section 11.2 says > > > > > > strip --strip-unneeded your-lib > > This is still true (the

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2015-05-11 Thread Andrey Rahmatullin
On Mon, May 11, 2015 at 11:18:29AM +0200, Bill Allombert wrote: So to summary: Policy 11.2 recommends: strip --strip-unneeded dh_strip does: strip --strip-unneeded --remove-section=.comment --remove-section=.note install -s does currently: strip --strip-unneeded lintian checks for:

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2015-05-11 Thread Bill Allombert
On Mon, May 11, 2015 at 01:39:43PM +0500, Andrey Rahmatullin wrote: On Sat, Apr 12, 2003 at 07:24:12PM +0200, Matthias Urlichs wrote: Section 11.2 says strip --strip-unneeded your-lib This is still true (the section is 10.2 though). Lintian, however, complains if the sections

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2015-05-11 Thread Andrey Rahmatullin
On Sat, Apr 12, 2003 at 07:24:12PM +0200, Matthias Urlichs wrote: Section 11.2 says strip --strip-unneeded your-lib This is still true (the section is 10.2 though). Lintian, however, complains if the sections .comment or .note are present, which strip doesn't think are unneeded. This

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2003-07-18 Thread Manoj Srivastava
severity 188731 wishlist thanks Hi, On Sat, 12 Apr 2003 19:24:12 +0200, Matthias Urlichs [EMAIL PROTECTED] said: Section 11.2 says strip --strip-unneeded your-lib Lintian, however, complains if the sections .comment or .note are present, which strip doesn't think are unneeded.

Processed: Re: Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2003-07-18 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: severity 188731 wishlist Bug#188731: debian-policy: strip --strip-unneeded is insufficient Severity set to `wishlist'. thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2003-07-18 Thread Andrew Suffield
On Fri, Jul 18, 2003 at 12:09:05PM -0500, Manoj Srivastava wrote: On Sat, 12 Apr 2003 19:24:12 +0200, Matthias Urlichs [EMAIL PROTECTED] said: Section 11.2 says strip --strip-unneeded your-lib Lintian, however, complains if the sections .comment or .note are present, which

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2003-07-18 Thread Matthias Urlichs
Hi, Manoj Srivastava wrote: Lintian, however, complains if the sections .comment or .note are present, which strip doesn't think are unneeded. Usually, when there is a discrepancy between lintian and policy, it is not policy that you change. The question is which makes more sense.

Bug#188731: debian-policy: strip --strip-unneeded is insufficient

2003-07-18 Thread Manoj Srivastava
On Fri, 18 Jul 2003 19:47:47 +0200, Matthias Urlichs [EMAIL PROTECTED] said: Hi, Manoj Srivastava wrote: Lintian, however, complains if the sections .comment or .note are present, which strip doesn't think are unneeded. Usually, when there is a discrepancy between lintian and policy, it