Skip to content

gitignore: add comment explaining policy #63373

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.

Sign up for GitHub

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

Merged
merged 7 commits into from
Aug 9, 2019
Merged

gitignore: add comment explaining policy #63373

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
b9978e9
explain what we want and what not in .gitignore
RalfJung Aug 8, 2019
b2af718
we don't clutter the src/ dir any more
RalfJung Aug 8, 2019
58c231d
gitignore: remove some things that look ancient
RalfJung Aug 8, 2019
9cea446
Cargo.toml is at the root these days
RalfJung Aug 8, 2019
fcb186d
fix typo in .gitignore
RalfJung Aug 8, 2019
4bde056
tweak ignores
RalfJung Aug 8, 2019
798767c
more alphabetical
RalfJung Aug 8, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 4 additions & 16 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
# This file should only ignore things that are generatd during a build,
# generated by common IDEs, and optional files controlled by the user
# that affect the build (such as config.toml).
# FIXME: This needs cleanup.
*~
.#*
.DS_Store
Expand All @@ -14,8 +18,6 @@ __pycache__/
.valgrindrc
.vscode
.favorites.json
/*-*-*-*/
/*-*-*/
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was using this to have dirs git would ignore :(
However, it looks like I can maybe use the # prefix instead?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just edit your .git/info/exclude to ignore whatever you want.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I keep forgetting why I don't use that more often.

/Makefile
/build
/config.toml
Expand All @@ -25,9 +27,6 @@ __pycache__/
/inst/
/llvm/
/mingw-build/
/nd/
/obj/
/rt/
/rustllvm/
/src/libcore/unicode/DerivedCoreProperties.txt
/src/libcore/unicode/DerivedNormalizationProps.txt
Expand All @@ -37,11 +36,6 @@ __pycache__/
/src/libcore/unicode/SpecialCasing.txt
/src/libcore/unicode/UnicodeData.txt
/src/libcore/unicode/downloaded
/stage[0-9]+/
/target
target/
/test/
/tmp/
tags
tags.*
TAGS
Expand All @@ -50,14 +44,8 @@ TAGS.*
\#*\#
config.mk
config.stamp
keywords.md
lexer.ml
Session.vim
src/etc/dl
tmp.*.rs
version.md
version.ml
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like it is from the OCaml bootstrap days. ;)

version.texi
.cargo
!src/vendor/**
/src/target/
Expand Down
46 changes: 0 additions & 46 deletions src/.gitignore
View file
Open in desktop

This file was deleted.