David Barnett wrote: > Are there any particular criteria for whether a filetype should be included > in vim's built-in runfiles? > > I have a vroom filetype plugin <https://github.com/google/vim-ft.vroom> with > syntax and settings for vroom <https://github.com/google/vroom> script > files that I'm thinking about proposing for inclusion. I don't know that it > has a lot of users (yet), and the filetype may continue to evolve, but I > don't see that being a problem since people can always install the upstream > plugin to override the built-in files. > > I've also run across several other languages that were absent. I saw proto > (Google protocol buffers) was recently added, but not textpb (protobuf text > format). Also go <https://github.com/jnwhiteh/vim-golang>, soy > <https://github.com/duganchen/vim-soy>, dart > <https://github.com/dart-lang/dart-vim-plugin>, and vala > <https://wiki.gnome.org/Projects/Vala/Vim?action=AttachFile&do=view&target=vala.vim> > have > blessed syntax files available but they're not built into vim. > > Any particular reasons any of those would be a bad fit for including in vim?
This mainly depends on the author sending the files to me. The author should be OK with distributing the files under the Vim license. For filetype detection it should not interfere with existing filetypes. That's about it. -- Life is a gift, living is an art. (Bram Moolenaar) /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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.
