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)
|
function gen_gitignore(pkg_dir::AbstractString, t::Template)
|
||||||
pkg = basename(pkg_dir)
|
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)
|
if !t.manifest && !in("Manifest.toml", entries)
|
||||||
push!(entries, "/Manifest.toml") # Only ignore manifests at the repo root.
|
push!(entries, "/Manifest.toml") # Only ignore manifests at the repo root.
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user