diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2017-06-09 14:07:00 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2017-06-09 14:30:58 +0300 |
| commit | d113d5232aad5f9d72166d435b781dea5b592dcf (patch) | |
| tree | be4b44046de8192fde7c5288fd517c7263863bd4 | |
| parent | 813d09a101a8503343848c710234bf8031e1a210 (diff) | |
rc jedi: Don't create an unused debug/log file
| -rw-r--r-- | rc/extra/jedi.kak | 1 |
1 files changed, 0 insertions, 1 deletions
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 & |