From d113d5232aad5f9d72166d435b781dea5b592dcf Mon Sep 17 00:00:00 2001 From: Frank LENORMAND Date: Fri, 9 Jun 2017 14:07:00 +0300 Subject: [PATCH] rc jedi: Don't create an unused debug/log file --- rc/extra/jedi.kak | 1 - 1 file changed, 1 deletion(-) diff --git a/rc/extra/jedi.kak b/rc/extra/jedi.kak index cb81288d..bd147194 100644 --- a/rc/extra/jedi.kak +++ b/rc/extra/jedi.kak @@ -24,7 +24,6 @@ def jedi-complete -docstring "Complete the current selection" %{ print(':'.join([(str(c.name).replace("|", "\\|") + "|" + str(c.docstring()).replace("|", "\\|")).replace(":", "\\:") + "|" + str(c.name).replace("|", "\\|") for c in script.completions()]).replace("'", r"\\\\'")) END ) - printf %s\\n "${compl}" > /tmp/kak-jedi-out printf %s\\n "eval -client ${kak_client} 'echo completed; set %{buffer=${kak_buffile}} jedi_completions \'${header}:${compl}\''" | kak -p ${kak_session} rm -r ${dir} ) > /dev/null 2>&1 < /dev/null &