Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-25 Thread Goswin von Brederlow
Simon Richter s...@debian.org writes: Hi, I think that we should be aiming towards descriptive domain-specific languages rather than imperative catch-all ones wherever possible. In the old days before debhelper, the rules file would explicitly move files around, and I think .install files

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-25 Thread Goswin von Brederlow
Ian Jackson ijack...@chiark.greenend.org.uk writes: Goswin von Brederlow writes (Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files): No. The files must be legal to be included. They are distributed in the tarball after all. So deleting or not deleting

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-25 Thread Ian Jackson
Goswin von Brederlow writes (Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files): That was my point. Legally we CAN use those files. But we don't WANT to use them for DFSG reasons. I think we are in vigorous agreement, but your tone makes me hesitate. Let

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-25 Thread Manoj Srivastava
On Wed, Aug 25 2010, Ian Jackson wrote: Goswin von Brederlow writes (Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files): That was my point. Legally we CAN use those files. But we don't WANT to use them for DFSG reasons. I think we are in vigorous

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-25 Thread Goswin von Brederlow
Manoj Srivastava sriva...@ieee.org writes: On Wed, Aug 25 2010, Ian Jackson wrote: Goswin von Brederlow writes (Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files): That was my point. Legally we CAN use those files. But we don't WANT to use them

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-19 Thread Goswin von Brederlow
David Claughton d...@eclecticdave.com writes: On 18/08/10 09:29, Goswin von Brederlow wrote: David Claughton d...@eclecticdave.com writes: On 13/08/10 17:58, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-19 Thread Simon Richter
Hi, I think that we should be aiming towards descriptive domain-specific languages rather than imperative catch-all ones wherever possible. In the old days before debhelper, the rules file would explicitly move files around, and I think .install files are a huge step forward. I'd also like to see

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-19 Thread Ian Jackson
Goswin von Brederlow writes (Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files): No. The files must be legal to be included. They are distributed in the tarball after all. So deleting or not deleting makes absolutely no difference to ftp-master. This only

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-19 Thread David Claughton
On 19/08/10 07:02, Goswin von Brederlow wrote: David Claughton d...@eclecticdave.com writes: Legally that should be the same. And practically you would have the useless files on the initial source unpack but they would be gone when debian/rules is invoked the first time. dpkg-source -x could

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-18 Thread Carsten Hey
* David Claughton [2010-08-15 01:33 +0100]: Another use-case might be to remove convenience copies of system libraries. Might be useful (e.g. for security reasons) to be able to guarantee that this code isn't being accidentally used by a build (in a way that can be easily checked by a

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-18 Thread Goswin von Brederlow
David Claughton d...@eclecticdave.com writes: On 13/08/10 17:58, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-18 Thread David Claughton
On 18/08/10 09:29, Goswin von Brederlow wrote: David Claughton d...@eclecticdave.com writes: On 13/08/10 17:58, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-15 Thread Guido Günther
On Fri, Aug 13, 2010 at 01:01:34PM -0400, Michael Gilbert wrote: On Fri, 13 Aug 2010 09:58:07 -0700, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-14 Thread Raphael Hertzog
On Fri, 13 Aug 2010, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them from the

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-14 Thread David Claughton
On 13/08/10 17:58, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them from the original

Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-13 Thread Raphael Hertzog
Package: dpkg-dev Version: 1.15.8 Severity: wishlist As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them from the original tarball. I also prefer this

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-13 Thread Russ Allbery
Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them from the original tarball. I also prefer this approach over

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-13 Thread Michael Gilbert
On Fri, 13 Aug 2010 09:58:07 -0700, Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them

Re: Bug#592839: dpkg-source option to remove files on unpack: debian/source/remove-files

2010-08-13 Thread Eugene V. Lyubimkin
Russ Allbery wrote: Raphael Hertzog hert...@debian.org writes: As suggested by Ian on -devel (see attachment), it would be nice to have a way to remove files during unpack of a source package to hide non-free files from our users without stripping them from the original tarball. I also