path: root/dgit.1
diff options
authorIan Jackson <>2019-01-05 20:27:06 +0000
committerIan Jackson <>2019-01-05 20:27:06 +0000
commit6c32ca2f056fc65bfc1aedbac6cdccdec0df0e01 (patch)
tree173de8933ab1e92c4913fb35075bd3acca6db414 /dgit.1
parent1ac02b63e0fe5e6f0f708c268e46799786307f13 (diff)
dgit: Provide --program!:option
Apropos of #904862. Signed-off-by: Ian Jackson <>
Diffstat (limited to 'dgit.1')
1 files changed, 18 insertions, 0 deletions
diff --git a/dgit.1 b/dgit.1
index 422a363..993d50b 100644
--- a/dgit.1
+++ b/dgit.1
@@ -1079,6 +1079,24 @@ and the
.B keyid
distro config setting.
+.RI \fB--curl!:\fR option " | \fB--dput!:\fR" option " |..."
+Specifies an option to remove from the command line for
+a program called by dgit, as for
+(and the same caveats apply).
+Any options or arguments exactly identical to
+.I option
+are removed.
+(It is not an error if there were none.)
+This can only be used to delete options
+which are always passed by default by dgit,
+or to undo a previous
+It cannot be used to override option(s) dynamically
+decided on by dgit.
.RI \fB--curl=\fR program " | \fB--dput=\fR" program " |..."
Specifies alternative programs to use instead of
.BR curl ,