branch: externals/kiwix commit 04bbaeb70b5ccfe92d0f01cfc3cff27e84fb7df6 Author: stardiviner <numbch...@gmail.com> Commit: stardiviner <numbch...@gmail.com>
add option to whether using kiwix-serve Docker container --- kiwix.el | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/kiwix.el b/kiwix.el index 8ecc4d4..0cc79ba 100644 --- a/kiwix.el +++ b/kiwix.el @@ -48,7 +48,15 @@ "Kiwix customization options." :group 'kiwix-mode) -(defcustom kiwix-server-url "http://127.0.0.1:8000/" +(defcustom kiwix-server-use-docker t + "Using Docker container for kiwix-serve or not?" + :type 'boolean + :safe #'booleanp + :group 'kiwix-mode) + +(defcustom kiwix-server-url (if kiwix-server-use-docker + "http://127.0.0.1:8080/" + "http://127.0.0.1:8000/") "Specify Kiwix server URL." :type 'string :group 'kiwix-mode)