WebLaTex icon indicating copy to clipboard operation
WebLaTex copied to clipboard

Add gitignore

Open thodson-usgs opened this issue 1 year ago • 3 comments

My collaborators had a tendency to accidentally commit PDF, which made it harder to incorporate their pull requests. Consider adding PDF to gitignore.

thodson-usgs avatar May 23 '23 19:05 thodson-usgs

Good observation. Thanks. Although, I am not sure what will happen when a person not so good with gitignore suddenly finds that their PDFs are not updating after git sync! (Considering many people also commit their PDF's).

sanjib-sen avatar Jun 01 '23 00:06 sanjib-sen

I'm okay making it (slightly) harder to commit a pdf, but that's up to you. Then perhaps ignore everything in PDF except the pdf's with

PDF/*
!PDF/*.pdf

thodson-usgs avatar Jun 01 '23 04:06 thodson-usgs

My justification being that git stores the entire file for each commit---not a diff--- so a careless user will commit numerous pdfs during the lifecycle of a document, bloating the repo. But I also recognize the convenience of having the pdf accessible via github.

thodson-usgs avatar Jun 01 '23 14:06 thodson-usgs