# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1630068509 -7200
# Node ID d685299645fab173ec911f7854f8f0692f3667b7
# Parent  7fe1028acab2e0f7a31ea5c20d8c5a49b863ee59
doc (configuration): add `public_url` in config sample

diff -r 7fe1028acab2 -r d685299645fa doc/configuration.rst
--- a/doc/configuration.rst	Fri Aug 27 14:46:56 2021 +0200
+++ b/doc/configuration.rst	Fri Aug 27 14:48:29 2021 +0200
@@ -106,6 +106,8 @@
     ; background luminance, used by terminal frontends
     ; can be "auto" (default) to autodetect, "dark" or "light"
     background = auto
+    # end-user facing URL, used by Web frontend
+    public_url = example.com
 
     [plugin account]
     ; where a new account must be created