Re: Highlighting Missing

Hi,
Thanks, yes the vim-tiny is installed, but I dot see any other vim package
to install instead.

Thanks for helping.

--

Fabio D'Alfonso

Network Analysis And VMware Enterprise Solutions

cell. +39.348.059.40.22

web: http://www​.​dalfonso​.​co

email: fabio.dalfonso@dalfonso.co

Linkedin: https://it.linkedin.com/in/fabiodalfonso

Twitter: https://twitter.com/fabio_dalfonso

FB Page: https://www.facebook.com/dalfonsoco/

fax: +39.06.874.599.581

 

 



On April 6, 2016 11:16:08 PM Christian Brabandt <cblists@256bit.org> wrote:

> Hi Fabio!
>
> On Mi, 06 Apr 2016, Fabio D'Alfonso wrote:
>
>> Hi,
>> I made a new setup of Ubuntu, with no other specific package, I find
>> vim, but nothing about the syntax files, no filetype.vim, nor any
>> other (nasm.vim, ....)
>>
>> Am I missing something?
>
> filetype.vim is supposed to be included in the vim-runtime package. Is
> that installed? Do you perhaps have only vim-tiny installed? What vim
> packages do you have installed?
>
> Best,
> Christian
> --
> Köder: Ein Präparat, das einen Haken genießbarer macht.
> Der beste Köder ist die Schönheit.
> -- Ambrose Bierce
>
> --
> --
> 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.


--
--
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.