Hi Martin! On Mon, 2010-05-31 at 16:12:42 +0200, Martin Pitt wrote: > Package: dpkg > Version: 1.15.7.2 > Severity: wishlist > Tags: patch
> Embedded/thin client systems need to bring up a reasonably useful > system in as little disk space as possible. This involves careful > selection of packages, file system, etc., but one part of this is also > to reduce the footprint of packages themselves, such as removing > documentation. > > A flexible and convenient way to do this would be to allow the user to > specify filter expressions to dpkg -i (and thus to > /etc/dpkg/dpkg.cfg.d/), such as removing /usr/share/man/* or > everything from /usr/share/doc/* except "copyright" (which probably > needs to stay for legal reasons). > > It is impractical to do this cleanup just once during building an > installation image, since every subsequent package update would bring > back those files. > > This patch implements two options --exclude and --include to do this, > so that you can write a file /etc/dpkg/dpkg.cfg.d/01_nodoc with Thanks for the patches! There's some stylistic problems, which I had already fixed in my pu/filters branch, as it seems you only took Tollef's commit, and others like copyright header matching the current ones, etc., but don't worry they are minor, I'm just amending them in. I'm also considering if --path-exclude and --path-include might be more appropriate, as the normal unit of operation for dpkg is a package and not a file/path. OTOH I doubt we'll be adding package exclusion/inclusion support, so it might not be confusing. thanks, guillem -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
