Skip to content

gitignore: Ignore core dumps#18542

Closed
chrysn wants to merge 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:avoid-core-files
Closed

gitignore: Ignore core dumps#18542
chrysn wants to merge 1 commit intoRIOT-OS:masterfrom
chrysn-pull-requests:avoid-core-files

Conversation

@chrysn
Copy link
Member

@chrysn chrysn commented Aug 31, 2022

Contribution description

#18541 illustrates that core dumps can get in by accident. As these are a similar category as built binaries,

This excludes all files (but not directories) named core

Testing

  • Touch a file core; it will not show in git status.
  • Touch a file named differently inside core/ (or a newly created directory of that name); it will show.

@chrysn chrysn requested review from gschorcht and maribu August 31, 2022 12:56
@chrysn
Copy link
Member Author

chrysn commented Aug 31, 2022

Nevermind, that was done concurrently in #18541 -- in a different way, but equally effective.

@chrysn chrysn closed this Aug 31, 2022
@chrysn chrysn deleted the avoid-core-files branch August 31, 2022 12:58
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.

1 participant