Mercurial > vim
changeset 36472:dfefd8153703 draft v9.1.0840
patch 9.1.0840: filetype: idris2 files are not recognized
Commit: https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a
Author: Serhii Khoma <srghma@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 <srghma@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
| author | Christian Brabandt <cb@256bit.org> |
|---|---|
| date | Mon, 04 Nov 2024 20:30:03 +0100 |
| parents | 7438e0f97224 |
| children | 4b0184f185f4 |
| files | runtime/filetype.vim src/testdir/test_filetype.vim src/version.c |
| diffstat | 3 files changed, 12 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/runtime/filetype.vim +++ b/runtime/filetype.vim @@ -1133,6 +1133,10 @@ au BufNewFile,BufRead indent.pro call d " 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,usw " 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
--- a/src/testdir/test_filetype.vim +++ b/src/testdir/test_filetype.vim @@ -359,12 +359,14 @@ def s:GetFilenameChecks(): dict<list<str 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<str 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'],