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)

Reply via email to