Re: finishing up the /usr/share/doc transition

[Joey Hess <joeyh@debian.org>]

Ben Collins wrote:
> Maybe this should be something like:
> 
> 	if cp -a $OLDDOC/$item $NEWDOC; then
> 		rm -rf $OLDDOC/$item
> 	else
> 		rm -rf $NEWDOC/$item
> 		exit 1
> 	fi
> 
> That should handle filesystem full errors a bit better.

Of course the (broken) dir merging code in the stanza just above should
deal with recovering from this case if the script is run again after a
larger partition becomes available.

I guess what you're doing is ok though. Although it may use 2x as much
space temporarily..

-- 
see shy jo