Shall we drop resources ?

[Pavel Sanda]

On Thu, May 14, 2020 at 06:16:32PM +0200, Jean-Marc Lasgouttes wrote:
> I see 3 possibilities:
> 
> 1/ get rid of resources, since nobody complained that we were too slow up to
> now.

I tend to agree with 1.

> 2/ do not install  anything in lib/images/ directory, since it is in
> resources already.
> 
> 3/ look first at user directory, then resources and finally system
> directory.

P