summaryrefslogtreecommitdiff
path: root/GitAnnex.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-12-22 13:53:06 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-12-22 14:00:17 -0400
commit6bffe509d7f1ec60168522585925a43dbfffbd36 (patch)
treea7fead7d1e5539139894f10c45f6d6c3d8d5cdc9 /GitAnnex.hs
parent30cf6ce81ca8ff99f5284c5b991e546eb1da72ae (diff)
Add --include, which is the same as --not --exclude.
Diffstat (limited to 'GitAnnex.hs')
-rw-r--r--GitAnnex.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/GitAnnex.hs b/GitAnnex.hs
index a5b9609b6..40ebed0d6 100644
--- a/GitAnnex.hs
+++ b/GitAnnex.hs
@@ -112,6 +112,8 @@ options = commonOptions ++
"terminate filename with null"
, Option ['x'] ["exclude"] (ReqArg Limit.addExclude paramGlob)
"skip files matching the glob pattern"
+ , Option ['I'] ["include"] (ReqArg Limit.addInclude paramGlob)
+ "don't skip files matching the glob pattern"
, Option ['i'] ["in"] (ReqArg Limit.addIn paramRemote)
"skip files not present in a remote"
, Option ['C'] ["copies"] (ReqArg Limit.addCopies paramNumber)