Ticket #815: issue_815.patch

File issue_815.patch, 1.3 KB (added by Ben Sturmfels, 9 years ago)

  • mediagoblin.example.ini 

    From dcbcdc038c391ca1f0d93d308a8d9cfb383667ab Mon Sep 17 00:00:00 2001
From: Ben Sturmfels <ben@sturm.com.au>
Date: Tue, 4 Aug 2015 10:15:17 +1000
Subject: [PATCH] trac#815: Replace two non-ASCII curly single quotes with
 straight quotes.

I don't think there's necessarily anything wrong with using non-ASCII characters, since UTF-8 is basically the de facto standard. There's no reason to mix a small number of curly quotes into a configuration file though, so I've replaced them for consistency.
---
 mediagoblin.example.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mediagoblin.example.ini b/mediagoblin.example.ini
index 17b123f..52331d8 100644
    a b  
    22# mediagoblin_local.ini, then make the changes there.
    33#
    44# If you don't see what you need here, have a look at mediagoblin/config_spec.ini
    5 # It defines types and defaults so it’s a good place to look for documentation
    6 # or to find hidden options that we didn’t tell you about. :)
     5# It defines types and defaults so it's a good place to look for documentation
     6# or to find hidden options that we didn't tell you about. :)
    77
    88# To change the directory you should make sure you change the
    99# directory in paste.ini and/or your webserver configuration.