Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#61599 - [tamarin-prover] Install filetype.vim to a more appropriate place

Attached to Project: Community Packages
Opened by Peter Wu (Lekensteyn) - Friday, 01 February 2019, 15:29 GMT
Last edited by Felix Yan (felixonmars) - Friday, 01 February 2019, 20:14 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
Right now the file is installed to:
/usr/share/vim/vimfiles/filetype.vim

I suppose that a better location would be:
/usr/share/vim/vimfiles/ftdetect/tamarin.vim

Additional info:
* package version: tamarin-prover 1.4.1-15
This task depends upon

Closed by  Felix Yan (felixonmars)
Friday, 01 February 2019, 20:14 GMT
Reason for closing:  Fixed
Additional comments about closing:  in trunk.

Loading...