On 2018-10-02, Christian Brabandt wrote: > So how about this doc patch: > > diff --git a/runtime/doc/cmdline.txt b/runtime/doc/cmdline.txt > index 3b2dd3206..38a208937 100644 > --- a/runtime/doc/cmdline.txt > +++ b/runtime/doc/cmdline.txt > @@ -534,9 +534,46 @@ after a command causes the rest of the line to be > ignored. This can be used > to add comments. Example: > > :set ai "set 'autoindent' option > It is not possible to add a comment to a shell command ":!cmd" or to the > -":map" command and a few others, because they see the '"' as part of their > -argument. This is mentioned where the command is explained. > +":map" command and a few others (mainly commands that expect expressions) > +that see the '"' as part of their argument: > > + :argdo > + :autocmd > + :bufdo > + :cexpr (and alike) > + :call > + :cdo (and alike) > + :command > + :cscope (and alike) > + :debug > + :display > + :echo (and alike) > + :elseif > + :execute > + :folddoopen > + :folddoclosed > + :for > + :grep (and alike) > + :help (and alike) > + :if > + :let > + :make > + :map (and alike including :abbrev commands) > + :menu (and alike) > + :mkspell > + :normal > + :ownsyntax > + :popup > + :promptfind (and alike) > + :registers > + :return > + :sort > + :syntax > + :tabdo > + :tearoff > + :vimgrep (and alike) > + :while > + :windo > *:bar* *:\bar* > '|' can be used to separate commands, so you can give multiple commands in > one > line. If you want to use '|' in an argument, precede it with '\'.
That's nice. It still requires an awareness of the problem, but it's documented and all in one place. I think by "(and alike)" you meant "(and the like)". Regards, Gary -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
