On 11/24/2013 02:47 PM, Daniel Berteaud wrote: > Attached is a patch to configure the "style" directory (default being > the provided style). The rational behind this is that I deploy dl > packaged as a RPM (BTW I can send send the spec file if someone is > interested), so I don't want to edit files directly as it would be > overwriten on next update.
Finally merged, with changes. There is some interaction with the code expecting the style/static data to be available under the web server root in some circumstances. I made the "$style" parameter to be a directory name under style/[default]. This would allow multiple skins to co-exist, just in case we will allow to set the skin on a per-user basis. Ideally the listings should also be generated from the skin, but I didn't have the time right now to do this. I also merged the new skin from RustyPixel, which is now the new default. Comments appreciated.
