Running vim without filename: E492: Not an editor command: CoqStart about coqtail HOT 4 CLOSED

Thanks for reporting, but I believe this is working as intended. Coqtail uses Vim's autoload and ftplugin features to avoid registering commands, mappings, functions, etc. for non-Coq files. Whether a buffer is considered to be a Coq file is determined by its filetype. This is set automatically for paths that end in .v, but nameless buffers have an empty filetype by default.

You can set the filetype manually with :setfiletype coq. Or, if you want to treat nameless buffers as Coq by default, I think putting setfiletype FALLBACK coq in your .vimrc would work, although I haven't really tested that.

from coqtail.

Thank you for the answer. Okay, that makes sense. If I made a pull request which added a sentence about this behaviour to README.md, do you think it would be merged? I would insert something like the following immediately under the section header "Usage":

Once Coqtail has been installed, its commands are available whenever you edit a Coq file (with the .v extension). Alternatively, you can run :setfiletype coq when editing any buffer to tell Vim that you are writing Coq code, which will then make Coqtail's commands available.

from coqtail.

Sure, improvements to the documentation are appreciated. I might just edit the wording slightly before merging.

from coqtail.

Closed by #365.

from coqtail.