Re: does /var/games have to be deleted on purge? (if it's empty..)

[Julien Cristau <jcristau@debian.org>]

On Wed, 2009-04-08 at 14:17 +0200, Holger Levsen wrote:
> Hi,
> 
> On Mittwoch, 8. April 2009, Paul Wise wrote:
> > How about this:
> >
> > Game a gets installed and ships /var/games
> > Game b gets installed and ships /var/games
> > Game a gets purged and removes /var/games
> > User starts game b and gets a high score
> > Game b tries to save the high score but fails because /var/games doesn't
> > exist
> 
> Uhm, I thought it was obvious that /var/games may only be deleted if it's 
> empty...

And it is empty until you try and play game b.  Which might be after
purging game a, which removed /var/games.  Hilarity ensues.  So either
game a must not remove /var/games, or game b must ship
with /var/games/.b-placeholder to make sure that /var/games isn't empty
while b is installed.  The former seems saner to me.

Cheers,
Julien