Better file name for config.tar.gz export

Could you please also add $_SERVER['SERVER_PORT'] to the filename if it is not equals to 80 or 443? It would be important since some development systems can look like run different Drupal instances on different ports and not everyone can/would like to edit hosts file just to make different hostnames.

Otherwise, I support this patch.

This change makes tonnes of sense.

+++ b/core/modules/config/config.module
@@ -65,8 +65,13 @@ function config_file_download($uri) {
+    $hostname = str_replace('.', '-', $_SERVER['HTTP_HOST']);

I think the host name should come the request using Request::getHost().

I think a test will break.

Also I this is a task not a feature request.

Haha, so does that mean we have no test coverage at all for this feature? Oh wait, actually we do have test coverage, we just get the raw content
and not care about the used filename, see core/modules/config/src/Tests/ConfigExportUITest.php:53

So we need tests then.

Test attached + patch including test

I made one change to the original patch in #8, I added quotes around the filename

   $disposition = 'attachment; filename="' . $filename . '"';

The test added in #10 looks sufficient (test only fails, as expected).

So, what's the proposed new file name, I can't tell from the patch :-)

@yoroy, the new filename will be config-$hostname-$date.tar.gz where $hostname is the host name of the server the installation is running on and $date is the request-date formatted as Y-m-d-H-i.

An example is: config-d8-dev-2015-08-26-15-28.tar.gz (my hostname is d8.dev).

Excellent, that makes a lot of sense. Thank you borisson_.

Beta evaluation: This is a really nice usability fix with no disruption.

Committed 3a0a28e and pushed to 8.0.x. Thanks!