Skip to content

Commit

Permalink
Recognize .gitignore paths that contain slashes at the start or the e…
Browse files Browse the repository at this point in the history
…nd. (#1329)

Some might ignore the directory `.ionide/`, but the extension would still recommend `.ionide` to be ignored.
  • Loading branch information
teo-tsirpanis committed Mar 24, 2020
1 parent 12b31e2 commit 7470579
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Components/Gitignore.fs
Expand Up @@ -24,7 +24,7 @@ module Gitignore =

(patterns, lines)
||> Array.fold (fun notFoundPats line ->
let line = line.Trim()
let line = line.Trim('\t', ' ', '/', '\\')
if notFoundPats |> Set.contains line
then notFoundPats |> Set.remove line
else notFoundPats
Expand Down

0 comments on commit 7470579

Please sign in to comment.