Skip to content

Commit

Permalink
fix: add prefix/ to .gitignore (#680)
Browse files Browse the repository at this point in the history
### Briefly, what does this PR introduce?
Now that we have caused (#669) the default install directory to be
`prefix/`, we should add it to the `.gitignore` so no one accidentally
adds it to the repo. This PR adds `prefix/` to the project-wide
`.gitignore` listing.

### What kind of change does this PR introduce?
- [x] Bug fix (issue #__)
- [ ] New feature (issue #__)
- [ ] Documentation update
- [ ] Other: __

### Please check if this PR fulfills the following:
- [ ] Tests for the changes have been added
- [ ] Documentation has been added / updated
- [ ] Changes have been communicated to collaborators

### Does this PR introduce breaking changes? What changes might users
need to make to their code?
No.

### Does this PR change default behavior?
No.
  • Loading branch information
wdconinc authored Mar 23, 2024
1 parent 0a92934 commit 32c7c95
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ acts2.txt
materials-map.cbor

# local install directories
prefix/
lib/
share/
setup.sh
Expand Down

0 comments on commit 32c7c95

Please sign in to comment.