summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Leferry 2 <alexherbo2@gmail.com>2020-09-02 13:11:17 +0200
committerAlex Leferry 2 <alexherbo2@gmail.com>2020-09-02 13:11:17 +0200
commite2b3c0923a7b1650ad06195e49a650fe540af6f8 (patch)
tree7a28de524308fa476c76e286d6516d7e9dba36a2
parent01f00761050cf9cbd92c018d3dc538ffe77a384f (diff)
Rename prelude_plugin_path → prelude_root_path
-rw-r--r--rc/prelude.kak4
1 files changed, 2 insertions, 2 deletions
diff --git a/rc/prelude.kak b/rc/prelude.kak
index 28da338..8128dca 100644
--- a/rc/prelude.kak
+++ b/rc/prelude.kak
@@ -1,7 +1,7 @@
-declare-option -hidden str prelude_plugin_path %sh(dirname "$kak_source")
+declare-option -hidden str prelude_root_path %sh(dirname "$kak_source")
provide-module prelude %{
- declare-option -docstring 'Path to the prelude of shell blocks' str prelude_path "%opt{prelude_plugin_path}/prelude.sh"
+ declare-option -docstring 'Path to the prelude of shell blocks' str prelude_path "%opt{prelude_root_path}/prelude.sh"
}
require-module prelude