Closed dorgnarg closed 3 years ago
Update: the problem was that tmux wasn't installed on my machine. I installed it and everything seems to be working fine, but I'm still not sure if tmux is supposed to be a dependency, it's not listed anywhere and it wasn't included with :COQdeps
please try now. i added a thingy that should have prevented it
usually when tmux isn't install there the error is FileNotFound
, but you apparently had a file called tmux
in your $PATH
, and that file isnt an executable.
wasn't expecting it
I'm having problems after setting up this plugin. If I don't modify coq_settings.clients.tmux.enabled, then every keystroke hits me with an error,
Permission denied: 'tmux'
. I disabled tmux in coq_settings, and it mostly solves the problem, but I'm still getting the error any time I unfocus and refocus the terminal containing the nvim process. The full error message looks like:My current coq_settings is set to