Re: /usr/share/doc (was Re: weekly policy summary)

[Santiago Vila <sanvila@unex.es>]

On Fri, 30 Jul 1999, Roland Rosenfeld wrote:

> On Fri, 30 Jul 1999, Joseph Carter wrote:
> 
> > > 1. mv /usr/doc/* /usr/share/doc
> 
> This isn't trivial, because you cannot be sure that /usr/doc and
> /usr/share/doc are located at the same filesystem.
> And don't miss the (few) packages which already moved to
> /usr/share/doc (where some of them left back a .dhelp file in
> /usr/doc/<package>).
> 
> > f) probably one of the most workable solutions suggested so far...  =D
> 
> I think that the proposed "mv" is quite hard to realize, so I'm not
> sure whether this "solution" is really possible. Such a system should
> be able to handle the case where /usr/doc is moved to /usr/share/doc
> while /usr/share/doc (located on a different filesystem) runs out of
> space. When this happens while you install one normal package, this
> isn't a big problem, because you can simply reinstall the package, but 
> the above idea could nuke big parts of the documentation...
> 
> So the above noted idea works when run by hand, but I'm not sure,
> whether a postinst script is able to do this job without problems on
> _every_ Debian system...

Please note that I was not thinking about a package which does this in a
preinst script, I was thinking about a package just containing a script
which does this. The script would still have to be executed by the user.

Thanks.

-- 
 "1f2a7c4ed758e53602802431bf4f4daf" (a truly random sig)