diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-13 11:56:06 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-13 12:53:31 +0100 |
commit | 02201fcb3e2f7e92ccf115811c3e909a490f0a80 (patch) | |
tree | 94583a6ce7fc2cb707830f11bad7ec73bd6255e9 /dgit.1 | |
parent | e289b3f481be490065d59067918eabae6a180b47 (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.1 | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -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. |