Thursday, July 14, 2016

Re: Wrong vim color syntax

Willem D'Haese wrote:
> On Thursday, 7 July 2016 07:20:22 UTC+2, Christian Brabandt wrote:
>> Am 2016-07-06 22:18, schrieb Willem D'Haese:
>>> Hello,
>>>
>>> There seems something wrong with the coloring in this code with VIM -
>>> Vi IMproved 7.4 (2013 Aug 10, compiled Jun 10 2014 06:55:55)?
>>>
>>> cat <<EOF>/etc/yum.repos.d/influxdb.repo
>>> [influxdb]
>>> name = InfluxDB Repository - CentOS \$releasever
>>> baseurl =
>>> https://repos.influxdata.com/centos/\$releasever/\$basearch/stable
>>> enabled = 1
>>> gpgcheck = 1
>>> gpgkey = https://repos.influxdata.com/influxdb.key
>>> EOF
>>>
>>> WriteLog Output Info "Tick - Installing influxdb"
>>> yum install influxdb -y
>>>
>>> git clone https://github.com/letsencrypt/letsencrypt /opt/letsencrypt
>>>
>>> WriteLog Output Info "Tick Build End"
>>
>> Missing information here. What syntax/filetype is this? Please first try
>> to
>> get a newer syntax file (perhaps from the repository from the maintainer
>> or
>> you might try the included runtime file from a later vim version)
>>
>> If that does not help, please contact the maintainer of the file
>> (address is given in the header of the file) and discuss the issue with
>> him.
>> It looks like the syntax script does not handle here documents.
>>
>> Best,
>> Christian
> Hello Christian,
>
> Thanks for the help. It is actually a Bash script with filename FireTIG (without .sh extension) I made myself. Where can I find the syntax file for Bash?
>
Please try the syntax files for sh.vim available at:
http://www.drchip.org/astronaut/vim/index.html#SYNTAX_SH (v154).

Regards,
Chip Campbell

--
--
You received this message from the "vim_use" 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_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

No comments: