merlin icon indicating copy to clipboard operation
merlin copied to clipboard

`$(opam var share)/merlin/vim/doc/tags` should be deleted on uninstall

Open ddickstein opened this issue 1 year ago • 2 comments

The :helptags command in Vim that Merlin advises to run after opam installation generates a tags file in the doc directory. It should be cleaned up if Merlin is uninstalled.

ddickstein avatar Sep 16 '24 14:09 ddickstein

Good catch, I guess there is some field in the opam package to do that ?

voodoos avatar Sep 23 '24 08:09 voodoos

Indeed, they are a dedicated opam field for this purpose https://opam.ocaml.org/doc/Manual.html#opamfield-remove. But adding a field remove: ["rm" share "/merlin/vim/doc/tags"] in the Merlin opam file may cause an error for people who have not run this command.

Tim-ats-d avatar Nov 20 '25 13:11 Tim-ats-d