Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Avoid duplicate tags when updating files #232

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

mgedmin
Copy link

@mgedmin mgedmin commented Mar 19, 2019

Since we cannot know in every case whether the tags file contains absolute or relative pathnames, let's remove old tags that use either version of the pathname.

Fixes #231 for Unix. Unfortunately my Windows scripting skills are insufficient to implement the full logic in plat/win32/update_tags.cmd, but at least I updated the argument parsing loop so it won't fail if it sees the new -a argument.

Since we cannot know in every case whether the tags file contains
absolute or relative pathnames, let's remove old tags that use either
version of the pathname.

Fixes ludovicchabant#231 for Unix.  Unfortunately my Windows scripting skills are
insufficient to update plat/win32/update_tags.cmd
@mgedmin
Copy link
Author

mgedmin commented Mar 19, 2019

I have tested this and I can stamp it 🥇 Works On My Machine Certified 🥇 .

@marciol
Copy link

marciol commented Jun 13, 2024

Thanks, it's an annoying issue still unsolved, so I'm going to use your branch.

@zakaria1193
Copy link

was this merged some other way ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Duplicate entries in tags file (one with absolute path, one with relative path)
3 participants