On 2014-08-09, Charles E Campbell wrote:
> Gary Johnson wrote:
> >set -o ignoreeof            # Don't let Ctrl-D exit the shell.
> Hello, Gary:
> 
> Are you actually using the old Bourne shell?   This problem does not
> appear when using the Korn/Posix shell or the Bash shell.  Try
> reading a bit of :help sh.vim .

No, I'm using bash and I have

    let g:is_bash = 1

in my .vimrc.

I just tried another experiment to try to eliminate the influence of
non-standard files.  I executed the following.

    $ vim -N -u NONE -i NONE -c 'let g:is_bash=1' -c 'syntax on' ignoreeof.sh

where ignoreeof.sh contains only the line shown above.

Here is the output of :scriptnames.

  1: /usr/local/share/vim/vim74/syntax/syntax.vim
  2: /usr/local/share/vim/vim74/syntax/synload.vim
  3: /usr/local/share/vim/vim74/syntax/syncolor.vim
  4: ~/Dropbox/vimfiles/filetype.vim
  5: /usr/local/share/vim/vim74/filetype.vim
  6: ~/Dropbox/vimfiles/ftdetect/csv.vim
  7: ~/Dropbox/vimfiles/ftdetect/mediawiki.vim
  8: ~/Dropbox/vimfiles/syntax/sh.vim
  9: /usr/local/share/vim/vim74/syntax/sh.vim

The syntax/sh.vim file is the one I just downloaded from your site,
version 138, Aug 08, 2014.

That one line is highlighted as I described previously and as
illustrated below.

set -o ignoreeof            # Don't let Ctrl-D exit the shell.
--- -- ---------            ----- ----------------------------
|   |  |                    |    - |
|   |  cyan shShellList     |    | red shSingleQuote
|   |                       |    |
|   violet shSetOption      |    yellow shQuote
|                           |
yellow shSet                cyan shShellList

It should instead be that the # and everything to the right is
highlighted blue shComment.

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.

Raspunde prin e-mail lui