diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2024-11-04 21:52:04 +0100 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2024-11-05 08:31:32 +0100 |
| commit | 65b9499e4a761e4e76e0e1e60cb507c4d6232bd9 (patch) | |
| tree | b4ba8333d7b89563befb835d75dcb3f967f9c836 /runtime/lua/vim | |
| parent | baf74ef9755e19781f52c3884023321c0198a3b5 (diff) | |
| download | rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.tar.gz rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.tar.bz2 rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.zip | |
vim-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: vim/vim#15987
https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a
Co-authored-by: Serhii Khoma <srghma@gmail.com>
Diffstat (limited to 'runtime/lua/vim')
| -rw-r--r-- | runtime/lua/vim/filetype.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/lua/vim/filetype.lua b/runtime/lua/vim/filetype.lua index 057a99123b..588a07b5d7 100644 --- a/runtime/lua/vim/filetype.lua +++ b/runtime/lua/vim/filetype.lua @@ -588,6 +588,7 @@ local extension = { ibi = 'ibasic', icn = 'icon', idl = detect.idl, + idr = 'idris2', inc = detect.inc, inf = 'inform', INF = 'inform', @@ -595,6 +596,7 @@ local extension = { inko = 'inko', inp = detect.inp, ms = detect_seq(detect.nroff, 'xmath'), + ipkg = 'ipkg', iss = 'iss', mst = 'ist', ist = 'ist', @@ -674,6 +676,7 @@ local extension = { ['l++'] = 'lex', l = 'lex', lhs = 'lhaskell', + lidr = 'lidris2', ll = 'lifelines', ly = 'lilypond', ily = 'lilypond', |