Relative path from a plugin file

Hey. From a plugin, how can I refer to a file that is contained in it? I’m trying to launch a repl with a special config file that should be packed with the plugin.

define-command tidal-start-repl %{
    eval "repl ghci -ghci-script ../BootTidal.hs"
}

The %val{source} expansion expands to the absolute path of the file being sourced. You’ll probably want to do something like:

declare-option str tidal_plugin_path %sh{ dirname "$kak_source" }

define-command tidal-start-repl %{
    repl ghci -ghci-script "%opt{tidal_plugin_path}/BootTidal.hs"
}
3 Likes

thanks a lot!