Skip to content

Commit

Permalink
.gitignore: Remove redundant rules on result*, target
Browse files Browse the repository at this point in the history
From man gitignore:

    A leading "**" followed by a slash means match in all directories.
    For example, "**/foo" matches file or directory "foo" anywhere, the
    same as pattern "foo".

In other words, we don't need "/target/**" in the .gitignore if we
already have "**/target/**". Same applies to "/result*". Let's remove
the redundant rules.

Also sort the file alphabetically (as per Vim's ":%s").

Signed-off-by: Quentin Monnet <[email protected]>
  • Loading branch information
qmonnet committed Nov 11, 2024
1 parent ff5b6a3 commit 0750bbb
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,10 +1,8 @@
**/result*/**
**/target/**
/result*
/target/**
/.bin/**
/.vscode/**
/compile-env/**
/design-docs/src/mdbook/book/**
/design-docs/src/mdbook/src/mdbook-plantuml-img/**
/compile-env/**
/.vscode/**
/.bin/**
/dev-env-template/**

0 comments on commit 0750bbb

Please sign in to comment.