From dc000b70ffe6b891544d6e330078ff6f80e013d3 Mon Sep 17 00:00:00 2001 From: pythonsnake Date: Wed, 13 Feb 2013 16:56:24 +0100 Subject: [PATCH 1/2] Mention mediagoblin/config_spec.ini --- mediagoblin.ini | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/mediagoblin.ini b/mediagoblin.ini index 6325c8e0..66c9c77c 100644 --- a/mediagoblin.ini +++ b/mediagoblin.ini @@ -1,3 +1,7 @@ +# Have a look at mediagoblin/config_spec.ini +# It defines types and defaults so it’s a good place to look for documentation +# or to find hidden options that we didn’t tell you about. :) + # If you want to make changes to this file, first copy it to # mediagoblin_local.ini, then make the changes there. From 76b399a3ef5ca844c0c6d1f288cf6f0030603093 Mon Sep 17 00:00:00 2001 From: Christopher Allan Webber Date: Sun, 24 Feb 2013 13:53:15 -0600 Subject: [PATCH 2/2] Changing the order so that config_spec.ini is mentioned after mediagoblin_local.ini This commit sponsored by Matteo Settenvini. Thanks! --- mediagoblin.ini | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mediagoblin.ini b/mediagoblin.ini index 66c9c77c..bed69737 100644 --- a/mediagoblin.ini +++ b/mediagoblin.ini @@ -1,9 +1,9 @@ -# Have a look at mediagoblin/config_spec.ini -# It defines types and defaults so it’s a good place to look for documentation -# or to find hidden options that we didn’t tell you about. :) - # If you want to make changes to this file, first copy it to # mediagoblin_local.ini, then make the changes there. +# +# If you don't see what you need here, have a look at mediagoblin/config_spec.ini +# It defines types and defaults so it’s a good place to look for documentation +# or to find hidden options that we didn’t tell you about. :) [mediagoblin] direct_remote_path = /mgoblin_static/