summaryrefslogtreecommitdiff
path: root/rc
diff options
context:
space:
mode:
authorAlex Leferry 2 <alexherbo2@gmail.com>2020-08-18 23:34:54 +0200
committerAlex Leferry 2 <alexherbo2@gmail.com>2020-08-18 23:34:54 +0200
commit01f00761050cf9cbd92c018d3dc538ffe77a384f (patch)
tree8b14c1cd1b7a90addb1099cabd1540d33e8c8128 /rc
parentbd66886500ab004baa255065f2dad19909ece2c4 (diff)
Rename prelude_path
Diffstat (limited to 'rc')
-rw-r--r--rc/prelude.kak4
1 files changed, 2 insertions, 2 deletions
diff --git a/rc/prelude.kak b/rc/prelude.kak
index 88e4126..28da338 100644
--- a/rc/prelude.kak
+++ b/rc/prelude.kak
@@ -1,7 +1,7 @@
-declare-option -hidden str prelude_path %sh(dirname "$kak_source")
+declare-option -hidden str prelude_plugin_path %sh(dirname "$kak_source")
provide-module prelude %{
- declare-option -docstring 'Path to the prelude of shell blocks' str prelude "%opt{prelude_path}/prelude.sh"
+ declare-option -docstring 'Path to the prelude of shell blocks' str prelude_path "%opt{prelude_plugin_path}/prelude.sh"
}
require-module prelude