Coqtail VS ranger

I've looked at both of these before, but neither of them fit the bill. Both are used for interactive execution of Coq programs from inside Neovim (I already use https://github.com/whonore/Coqtail for that purpose), but neither provides code completion. Nonetheless, thank you so much for your help. Much appreciated.

If you're finding coqide hard to use, I used to use coquille back in the day so that I didn't have to lose my neovim workflow (though it seems like coqtail is the currently maintained fork). I remember djao himself used to use proof general with emacs, which looks like another nice option if you're an emacs user.

Came to post zoxide. Also if you use `ranger`[1] (vim inspired file manager) then you might like to add the `ranger-zoxide` plugin[2].

1. https://github.com/ranger/ranger

2. https://github.com/jchook/ranger-zoxide

This looks cool, though I already use https://github.com/ranger/ranger for this.

This feature is rarely seen in Linux file managers. I would recommend the CLI file manager ranger. If you need a GUI tool, you should have a look at pantheon files, the file manager of ElementaryOS.

Someone opened an issue about this. Might want to follow that.

Hi! I am using ranger file manager terminal as its best through all i had used, but i have a weird problem and i want to ask you maybe you know how to solve it because my knowledge have limits on this topic even though i researched a bit.

How about ranger

I wrote a ranger integration plugin for myself and I thought I would share.

It adapts ranger in neovim. It is very cool to have so much control, plus the previews.