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

Re: Are we losing users to Gentoo?

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]'
      echo Removing obsolete /usr/doc directory
      rm -f /usr/doc/* && rmdir /usr/doc

in base-files.postinst ought to get rid of /usr/doc now for most users.

Henning Makholm         "We cannot time-travel in this dimension. Everything
                     is arranged differently, and they use different plugs."

Reply to: