]> git.ipfire.org Git - thirdparty/vim.git/commitdiff
patch 9.1.0840: filetype: idris2 files are not recognized v9.1.0840
authorSerhii Khoma <srghma@gmail.com>
Mon, 4 Nov 2024 19:14:43 +0000 (20:14 +0100)
committerChristian Brabandt <cb@256bit.org>
Mon, 4 Nov 2024 19:14:43 +0000 (20:14 +0100)
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 <srghma@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
runtime/filetype.vim
src/testdir/test_filetype.vim
src/version.c

index b3cec8721603ad07b104077277e0f6e610c1f043..6e9f0b222afc0d02f1251436f135c21a83597ef7 100644 (file)
@@ -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\c,usw2kagt.*.log\c,*.usw2kagt.log\c    setf usw2
 " Ipfilter
 au BufNewFile,BufRead ipf.conf,ipf6.conf,ipf.rules     setf ipfilter
 
+" Ipkg
+au BufNewFile,BufRead *.ipkg                   setf ipkg
+
 " Informix 4GL (source - canonical, include file, I4GL+M4 preproc.)
 au BufNewFile,BufRead *.4gl,*.4gh,*.m4gl       setf fgl
 
index 9ddab961312ac8937019a373957fb5cfb8e0736f..cca619bfaa47bc657a17a5a53f1ccc22ececa6fa 100644 (file)
@@ -359,12 +359,14 @@ def s:GetFilenameChecks(): dict<list<string>>
     ibasic: ['file.iba', 'file.ibi'],
     icemenu: ['/.icewm/menu', 'any/.icewm/menu'],
     icon: ['file.icn'],
+    idris2: ['file.idr'],
     indent: ['.indent.pro', 'indentrc'],
     inform: ['file.inf', 'file.INF'],
     initng: ['/etc/initng/any/file.i', 'file.ii', 'any/etc/initng/any/file.i'],
     inittab: ['inittab'],
     inko: ['file.inko'],
     ipfilter: ['ipf.conf', 'ipf6.conf', 'ipf.rules'],
+    ipkg: ['file.ipkg'],
     iss: ['file.iss'],
     ist: ['file.ist', 'file.mst'],
     j: ['file.ijs'],
@@ -415,6 +417,7 @@ def s:GetFilenameChecks(): dict<list<string>>
     lftp: ['lftp.conf', '.lftprc', 'anylftp/rc', 'lftp/rc', 'some-lftp/rc'],
     lhaskell: ['file.lhs'],
     libao: ['/etc/libao.conf', '/.libao', 'any/.libao', 'any/etc/libao.conf'],
+    lidris2: ['file.lidr'],
     lifelines: ['file.ll'],
     lilo: ['lilo.conf', 'lilo.conf-file'],
     lilypond: ['file.ly', 'file.ily'],
index f13567f3088a8a485f59987a8b8392584a2f81c7..d00d28085686c0dad608dfd3a883ae7dc99b006f 100644 (file)
@@ -704,6 +704,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    840,
 /**/
     839,
 /**/