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

Re: Can /usr/share/doc/<pkg> be deleted on upgrade ?

Thibaut Paumard wrote:
> I suppose you mean:
> bacula: usr-share-doc-symlink-without-dependency
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=554197
> The idea is to delete the directory in order to replace it by a symlink.
That's the one, thank you.

> In my opinion, it is OK to do that because:

> sysadmins should not do that. 
granted, but should a backup program start out by erasing files
unconditionally ? : )

> In essence, there is a provision in the Debian policy so that it's
> harmless for sysadmins to REMOVE files from /usr/share/doc, not to ADD
> files there.
But it's not explicited, one could argue strict logic and add that this
sentence as an encouragement for admins to start customising their doc/.
> Besides, the rm -f is there precisely to remove supplementary files that
> can only be there only if the sysadmin has put them here. So it's a bit
> of a no-go to check whether the directory is empty before you
> force-delete it...
My idea was to move it some place safe, not abort the operation. However
unlikely it is for an operator to store his files in there, I'm still a
little wary of packaging a backup program that can start out by erasing
unmanaged files unconditionally.

> Regards, Thibaut.

Lucas B. Cohen

"The question of whether a computer can think is no more interesting
than the question of whether a submarine can swim." - Edgar W. Dijkstra

Reply to: