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

Clean up gitignore files to have one at root of project #6354

Closed
B-Teague opened this issue Jan 5, 2024 · 1 comment · Fixed by #6355
Closed

Clean up gitignore files to have one at root of project #6354

B-Teague opened this issue Jan 5, 2024 · 1 comment · Fixed by #6355

Comments

@B-Teague
Copy link
Contributor

B-Teague commented Jan 5, 2024

Ran into issue with running cargo test --release generating new binary files that were not being ignored properly because the file case did not match the case in the gitignore file in the same directory.

Would look to consolidate the ignored files to a single ignore file at the root of the project directory based on file extensions and directories and at this at the top to handle binary files with no extension.

#Do not modify these first three ignore rules.  Needed to ignore files with no extension
# Ignore all files including binary files that have no extension
*
# Unignore all files with extensions
!*.*
# Unignore all directories
!*/

# Add specific file extensions and directories below
@Anton-4
Copy link
Collaborator

Anton-4 commented Jan 6, 2024

Ignoring all files without extension sounds like a good idea but I'm not sure about using a single gitignore file, I'll ask on zulip.

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 a pull request may close this issue.

2 participants