Merge pull request #59 from invenia/cdg/gitgnore-dev

Add /dev/ to gitignore
This commit is contained in:
Chris de Graaf 2019-03-01 09:16:32 -06:00 committed by GitHub
commit beb169a2c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -234,7 +234,8 @@ Returns an array of generated file/directory names.
"""
function gen_gitignore(pkg_dir::AbstractString, t::Template)
pkg = basename(pkg_dir)
entries = mapfoldl(p -> p.gitignore, append!, values(t.plugins); init=[".DS_Store"])
init = [".DS_Store", "/dev/"]
entries = mapfoldl(p -> p.gitignore, append!, values(t.plugins); init=init)
if !t.manifest && !in("Manifest.toml", entries)
push!(entries, "/Manifest.toml") # Only ignore manifests at the repo root.
end