jolly-chef-92794
02/03/2016, 3:45 PMjolly-chef-92794
02/03/2016, 3:46 PMwitty-crayon-22786
02/03/2016, 6:13 PMred-cpu-25099
02/03/2016, 6:49 PMpants_build_ignore
option which seems like .gitignore
for pants BUILD
files. Currently it's implemented as pants list option with default to '.*' (which stands for all directories and files with dot at the beginning). @happy-kitchen-89482 comes with suggestion to introduce .pantsignore
file which will be the same as .gitignore
for pants + option to specify path to this file. What do you prefer?bored-art-40741
02/03/2016, 6:50 PM.pantsignore
bored-art-40741
02/03/2016, 6:50 PM.gitignore
syntax anyway, and people will be familiar with thatwitty-crayon-22786
02/03/2016, 6:51 PMbored-art-40741
02/03/2016, 6:51 PM.pants_build_ignore
or something to emphasize that it only ignores BUILD files, not other thingswitty-crayon-22786
02/03/2016, 6:51 PMBUILD.tools
is "special"witty-crayon-22786
02/03/2016, 6:51 PMbored-art-40741
02/03/2016, 6:51 PMwitty-crayon-22786
02/03/2016, 6:51 PMred-cpu-25099
02/03/2016, 6:53 PM.gitignore
is not global to repository, you can paste a lot of them in different folders, from this point of view I prefer one optionbored-art-40741
02/03/2016, 6:54 PM.gitignore
is, though yes we shouldn't support or give the expectation of supporting nested .pantsignore
files if we go that routebored-art-40741
02/03/2016, 6:55 PM.ignore
-style file, and I think users will find it comfortable. But I also don't mind just sticking this in pants.inired-cpu-25099
02/03/2016, 6:59 PM--pants-build-ignore
but I'm looking to change it to just --build-ignore
, what do you think?rough-minister-58256
02/03/2016, 7:00 PMbored-art-40741
02/03/2016, 7:00 PM--build-file-ignore
bored-art-40741
02/03/2016, 7:01 PMbuild
is a super overloaded term, and this is specific to BUILD fileswitty-crayon-22786
02/03/2016, 7:02 PMjolly-chef-92794
02/03/2016, 7:03 PMwitty-crayon-22786
02/03/2016, 7:03 PMwitty-crayon-22786
02/03/2016, 7:03 PMwitty-crayon-22786
02/03/2016, 7:04 PMjolly-chef-92794
02/03/2016, 7:05 PMurl=file://...
shenanigans to patch in a locally built jarjarjolly-chef-92794
02/03/2016, 7:05 PMwitty-crayon-22786
02/03/2016, 7:06 PMwitty-crayon-22786
02/03/2016, 7:06 PMkind-holiday-68516
02/03/2016, 7:06 PMwitty-crayon-22786
02/03/2016, 7:07 PM