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

Re: Are we losing users to Gentoo?

On Fri, Apr 02, 2004 at 12:55:19PM +0100, Henning Makholm wrote:
> Scripsit Colin Watson <cjwatson@debian.org>
> > On Fri, Apr 02, 2004 at 03:27:33PM +0800, David Palmer wrote:
> > > Followed the line straight down from the root file to usr and into doc.
> > > Running a mix of woody and sarge.
> > It might still be there, but it's only full of symlinks to
> > /usr/share/doc, and all those symlinks should at some point be removed.
> By the way, is there any hope of getting rid of /usr/doc when sarge
> releases?  Extrapolating from my my woody installation, it seems that
> all (?) woody packages have maintainer scripts that behave well if
> /usr/doc disappears, so something like
>   if [ -d /usr/doc ] && ! ls -Ul /usr/doc | grep -q '^[^lt]'
>   then
>       echo Removing obsolete /usr/doc directory
>       rm -f /usr/doc/* && rmdir /usr/doc
>   fi
> in base-files.postinst ought to get rid of /usr/doc now for most users.

1073 packages in unstable still set the /usr/doc symlink.

And your "all (?)" expresses it correctly, that there might be a few
woody packages that handle the /usr/doc symlink in a wrong way.



       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed

Reply to: