summaryrefslogtreecommitdiff
path: root/dgit.1
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-10-13 11:56:06 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-10-13 12:53:31 +0100
commit02201fcb3e2f7e92ccf115811c3e909a490f0a80 (patch)
tree94583a6ce7fc2cb707830f11bad7ec73bd6255e9 /dgit.1
parente289b3f481be490065d59067918eabae6a180b47 (diff)
dgit: Provide new clean mode --clean=check,ignores
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
-rw-r--r--dgit.113
1 files changed, 12 insertions, 1 deletions
diff --git a/dgit.1 b/dgit.1
index ccf1ea5..19a88fa 100644
--- a/dgit.1
+++ b/dgit.1
@@ -548,11 +548,22 @@ git clean -xdf
but it also removes any subdirectories containing different git
trees (which only unusual packages are likely to create).
.TP
-.BR --clean=check " | " -wc
+.BR --clean=check " | " --clean=check,ignores " | " -wc " | " -wci
Merely check that the tree is clean (does not contain uncommitted
files).
Avoids running rules clean,
and can avoid needing the build-dependencies.
+
+With
+.BR ,ignores
+or
+.BR -wci ,
+untracked files covered by .gitignore are tolerated,
+so only files which show up as
+.B ?
+in git status
+(ie, ones you maybe forgot to git add)
+are treated as a problem.
.TP
.BR --clean=none " | " -wn
Do not clean the tree, nor check that it is clean.