From ea7d85ff658c000f5f469e0a869af0e512e8c59f Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Fri, 19 Apr 2019 11:03:24 -0400 Subject: [PATCH] gpgconf: correct capitalization of "Tor" * tools/gpgconf-comp.cb (gc_options_dirmngr): correct capitalization of Tor. -- https://www.torproject.org/docs/faq.html.en#WhyCalledTor says: > Note: even though it originally came from an acronym, Tor is not > spelled "TOR". Only the first letter is capitalized. In fact, we can > usually spot people who haven't read any of our website (and have > instead learned everything they know about Tor from news articles) by > the fact that they spell it wrong. Signed-off-by: Daniel Kahn Gillmor --- tools/gpgconf-comp.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/gpgconf-comp.c b/tools/gpgconf-comp.c index 272b7571e..a55d89874 100644 --- a/tools/gpgconf-comp.c +++ b/tools/gpgconf-comp.c @@ -971,7 +971,7 @@ static gc_option_t gc_options_dirmngr[] = GC_OPT_FLAG_GROUP, GC_LEVEL_BASIC, "gnupg", N_("Options controlling the use of Tor") }, { "use-tor", GC_OPT_FLAG_NONE, GC_LEVEL_BASIC, - "dirmngr", "route all network traffic via TOR", + "dirmngr", "route all network traffic via Tor", GC_ARG_TYPE_NONE, GC_BACKEND_DIRMNGR }, { "Keyserver",