Static/Checkout directory overloading should be deprecated

[svenk]

In static we currently have the following files still in use:

• inv/: Several systems involved (PHP, static files)
• download/: ~2GB static files
• auftakt/ and softlinks (project based)
• privat/ (used to be the Privat-Portal but is no more)
• dev/ (used to be the devzone)

Old stuff which is no more used: schule, klima-laerm, etc.

Furthermore, per regular mount:

• labs/: Trac installation (already moved one time, really old, actually no more used)

Some perspectives:

• We don't use Trac anymore (Github instead)
• We could well make use of a Wiki installation (at wiki/ ?)
• We could well make use of a Blog installation (at blog/ ?)
• Any old stuff should go into some vintage VM

[svenk]

The thing is that nginx really can implement the directory overlay setup, but with FastCGI (especially PHP-FPM) it doesn't work well because of confusion about the actual $document_root. With Apache, these problems did not arise since any ModRewrite rules did not interfere with PHP.

What I would be fine with is to deprecate the overlay idea (because it is intransparent, after all) in favour of a 404-tinyurl-like solution, ie having a few well-known aliases, a few 404's either catched by the /lib/404.php handler or even some external one implementing some short URLs or so.

[svenk]

The Answer to this question is basically wontfix. The overlay is gone, instead we have something like

location ~ ^/$|/(de|en|shared|blog|lib|index.php|robotik|favicon.ico|robots.txt|...) {
        root /path/to/checkout;
}

to distinguish the two branches. With some nested location stuff, fastcgi works. The final config will go into repo at https://github.com/technikum29/technikum29-www/tree/master/lib/installation soon.