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

Ignore directory option does not work always for ignoring missing source files #288

Closed
epasveer opened this issue Jan 25, 2025 · 2 comments · Fixed by #289
Closed

Ignore directory option does not work always for ignoring missing source files #288

epasveer opened this issue Jan 25, 2025 · 2 comments · Fixed by #289
Assignees
Labels
bug Something isn't working

Comments

@epasveer
Copy link
Owner

See #287 discussion.

I've verified that "ignore directories" does not work all the time.

Need to verify for 2 cases.

  1. Programmer's source files that may be moved (from his app)
  2. Library source files that are not part of a release (like OpenSuse /home/abuild/...)
@epasveer epasveer self-assigned this Jan 25, 2025
@epasveer epasveer added the bug Something isn't working label Jan 25, 2025
@epasveer
Copy link
Owner Author

epasveer commented Jan 30, 2025

Fixed in this branch.

$ git clone --branch 288-ignore-directory-option-does-not-work-always-for-ignoring-missing-source-files https://github.com/epasveer/seer.git

Give it a try if you can to see if it fixes the problem you're running into.

@epasveer
Copy link
Owner Author

The user has said it fixes the problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant