Re: [PATCH 1/1] bugfix: isar-exclude-docs delete man folders but some packages expect that folders

[Henning Schild <henning.schild@siemens.com>]

Am Thu, 22 Sep 2022 23:31:27 +0200
schrieb "Roberto A. Foglietta" <roberto.foglietta@gmail.com>:

> Il giorno gio 22 set 2022 alle ore 22:36 Roberto A. Foglietta <
> roberto.foglietta@gmail.com> ha scritto:
> >
> > Hi all,
> >
> > bugfix: isar-exclude-docs delete man folders but some packages
> > expect  
> that folders.
> > solution: adopts the same approach used for the doc folder.
> >
> >  
> https://github.com/robang74/isar/commit/c656e6df63aa76701e34d7ee3f99c81e96312b9d
> 
> bugfix: isar-exclude-docs delete man folders but some packages expect
> that folders, p2
> Instead of using "-type f", it is better to use "! -type d" in order
> to remove also the links
> 
> find /usr/share/man/ ! -type d -exec rm -rf {} \;
> 
> https://github.com/robang74/isar/commit/7af338b06c142eb7a60a881aaf5a9870e375c1c2

I double checked a ubuntu container and was expecting that jdk package
to not install there. But it worked.
Turns out the dpkg path-exclude in fact leaves directories in place.
Which means your patch is correct and fixes a problem where the
path-exclude and the rm do not lead to the same result ... not even
thinking about jdk.

Can you please send the patch with git send-email so it can be reviewed
and merged? I think i would make it two patches ... and that switches
to "find -type f exec rm", and a second one that switches to "! -type
d" ... but both finds not just one.

regards,
Henning

> Bests, R-
>