Learn more about these different git repos.
Other Git URLs
I'm not sure we really want this, so I'm rather filling this issue. If the following lighttpd config was applied, we would have to link from frontend directly to builder-live.log.gz.
builder-live.log.gz
server.modules = ( .. "mod_rewrite", .. ) url.rewrite-if-not-file = ( "^/(.*)/builder-live.log.gz$" => "/$1/redirect-live.log" ) $HTTP["url"] =~ "redirect-live.log$" { url.redirect = ( "^(.*)/redirect-live.log" => "$1/builder-live.log" ) }
Some ideas are in #932.
Since it is much easier to redirect if file is not found with lighttpd, and with apache it is easy as well:
<Files builder-live.log> RewriteEngine on RewriteCond %{REQUEST_FILENAME} !-f RewriteRule ^(.*)$ %{REQUEST_URI}.gz [R] </files>
I think that we should rather remove builder-live.log entirely eventually. Since we now have the UI fixed so it automatically points either to builder-live.log or bulider-live.log.gz - there's no problem with that.
Commit df2fb85 relates to this ticket
I just configured the production backend to redirect from builder-live.log to builder-live.log.gz if the former doesn't exist.
builder-live.log
The remaining task here is to run /usr/bin/copr-compress-live-logs, but we should wait 7 days from now (freshly updated backend).
/usr/bin/copr-compress-live-logs
Fixed by ansible commits: a69f354186d713485cb161126e67d556880f1947 affd5a1524b3cd0dc2f1e2615c492546495215a9 (and probably several others).
I'm going to update the in-code help documentation.
Metadata Update from @praiskup: - Issue assigned to praiskup
Commit 2c99a90 fixes this issue
Login to comment on this ticket.