From 9bbdb8d48a7dfb69937277b43ef00caf0f3f41ff Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Thu, 23 May 2024 03:27:23 +0300 Subject: [PATCH] docs/manual: add plugins page This should be helpful for listing known plugin behaviour where the behaviour is undesirable, but also unfixable --- docs/manual/manual.md | 4 ++++ docs/manual/plugins.md | 13 +++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 docs/manual/plugins.md diff --git a/docs/manual/manual.md b/docs/manual/manual.md index 3d80b0c..905a724 100644 --- a/docs/manual/manual.md +++ b/docs/manual/manual.md @@ -17,6 +17,10 @@ configuring.md hacking.md ``` +```{=include=} appendix html:into-file=//plugins.html +plugins.md +``` + ```{=include=} appendix html:into-file=//options.html options.md ``` diff --git a/docs/manual/plugins.md b/docs/manual/plugins.md new file mode 100644 index 0000000..e56e59f --- /dev/null +++ b/docs/manual/plugins.md @@ -0,0 +1,13 @@ +# Plugin specific quirks {#ch-plugins} + +At times, certain plugins refuse to play nicely. Be it as a result of generating +lua from Nix, or the state of packaging. This page shall list any plugins that +are known to misbehave, and potential workarounds. + +