diff options
Diffstat (limited to 'pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch')
| -rw-r--r-- | pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch | 26 |
1 files changed, 22 insertions, 4 deletions
diff --git a/pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch b/pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch index f3203e0075762..85a6daceefa07 100644 --- a/pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch +++ b/pkgs/applications/editors/vim/plugins/patches/sniprun/fix-paths.patch @@ -1,5 +1,5 @@ diff --git a/lua/sniprun.lua b/lua/sniprun.lua -index aa39e0b..188d54a 100644 +index c9b811f..459cf07 100644 --- a/lua/sniprun.lua +++ b/lua/sniprun.lua @@ -4,9 +4,7 @@ M.custom_highlight=false @@ -13,11 +13,29 @@ index aa39e0b..188d54a 100644 local sniprun_path = vim.fn.fnamemodify( vim.api.nvim_get_runtime_file("lua/sniprun.lua", false)[1], ":p:h") .. "/.." +@@ -145,7 +143,7 @@ function M.setup_highlights() + highlight(group, styles) + end + vim.cmd('augroup END') +- else ++ else + for group, styles in pairs(colors_table) do + local gui = styles.gui and 'gui='..styles.gui or 'gui=NONE' + local sp = styles.sp and 'guisp='..styles.sp or 'guisp=NONE' +@@ -354,7 +352,7 @@ function M.health() + -- check if the log is recreated + if pcall(M.ping) then health_ok("Sent a ping to the sniprun binary") + else health_warn("Could not send a ping to the sniprun binary - is it present, executable and compatible with your CPU architecture?") end +- ++ + + os.execute("sleep 0.2") + if not M.file_exists(path_log_file) and not M.file_exists(path_log_file_mac) then health_error("sniprun binary incompatible or crash at start", {"Compile sniprun locally, with a clean reinstall and 'bash ./install.sh 1' as post-install command."}) diff --git a/ressources/init_repl.sh b/ressources/init_repl.sh -index 2e6264d..0eab1c6 100644 +index eb51dbe..1382b5c 100755 --- a/ressources/init_repl.sh +++ b/ressources/init_repl.sh -@@ -23,7 +23,7 @@ mkfifo $working_dir/$pipe +@@ -35,7 +35,7 @@ mkfifo $working_dir/$pipe touch $working_dir/$out sleep 36000 > $working_dir/$pipe & @@ -25,7 +43,7 @@ index 2e6264d..0eab1c6 100644 +echo "cat " $working_dir/$pipe " | " $repl > $working_dir/real_launcher.sh chmod +x $working_dir/real_launcher.sh - echo $repl " process started at $(date +"%F %T")." >> $working_dir/log + echo $repl " process started at $(date +"%F %T")." >> $log diff --git a/ressources/launcher_repl.sh b/ressources/launcher_repl.sh index feaa91e..749c55e 100755 --- a/ressources/launcher_repl.sh |