Merge pull request #59 from invenia/cdg/gitgnore-dev
Add /dev/ to gitignore
This commit is contained in:
commit
beb169a2c4
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user