patch 9.1.0840: filetype: idris2 files are not recognized
Commit:
https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a
Author: Serhii Khoma <srg...@gmail.com>
Date: Mon Nov 4 20:14:43 2024 +0100
patch 9.1.0840: filetype: idris2 files are not recognized
Problem: filetype: idris2 files are not recognized
Solution: detect '*.idr' files as idris2, '*.lidr' files as lidris2
and '*.ipkg' files as ipkg filetype (Serhii Khoma)
closes: #15987
Signed-off-by: Serhii Khoma <srg...@gmail.com>
Signed-off-by: Christian Brabandt <c...@256bit.org>
diff --git a/runtime/filetype.vim b/runtime/filetype.vim
index b3cec8721..6e9f0b222 100644
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -1133,6 +1133,10 @@ au BufNewFile,BufRead indent.pro call
dist#ft#ProtoCheck('indent')
" IDL (Interactive Data Language), Prolog, Cproto or zsh module C
au BufNewFile,BufRead *.pro call
dist#ft#ProtoCheck('idlang')
+" Idris2
+au BufNewFile,BufRead *.idr setf idris2
+au BufNewFile,BufRead *.lidr setf lidris2
+
" Indent RC
au BufNewFile,BufRead indentrc setf indent
@@ -1152,6 +1156,9 @@ au BufRead,BufNewFile usw2kagt.log
--
--
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 vim_dev+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/vim_dev/E1t82m3-00ED3I-A3%40256bit.org.
