path: root/dgit.1
diff options
authorIan Jackson <>2015-07-26 19:50:29 +0100
committerIan Jackson <>2015-07-26 19:55:59 +0100
commit964758788a7b4b145fd53971d8c91771749e8d95 (patch)
tree01968c26e922113db24cfab406ca1251c17ebba4 /dgit.1
parentf4e23593ad4e04711ec34d5b1d70f3a0508f2b66 (diff)
Honour dgit-distros.DISTRO.cmd-CMD and .opts-CMD. Closes:#793427.
Diffstat (limited to 'dgit.1')
1 files changed, 17 insertions, 0 deletions
diff --git a/dgit.1 b/dgit.1
index 77d3252..2e862e3 100644
--- a/dgit.1
+++ b/dgit.1
@@ -633,6 +633,23 @@ Not relevant for Debian.
.BI dgit-distro. distro .upload-host
Might be useful if you have an intermediate queue server.
+.BI dgit-distro. distro .cmd- cmd
+Program to use instead of
+.IR cmd .
+Works like
+.BR -- \fIcmd\fR = "... ."
+.BI dgit-distro. distro .opts- cmd
+Extra options to pass to
+.IR cmd .
+Works like
+.BR -- \fIcmd\fR : "... ."
+To pass several options, configure multiple values in git config
+(with git config --add). The options for
+.BI dgit.default.opts- cmd
+.BI dgit-distro. distro /push.opts- cmd
+and are all used, followed by options from dgit's command line.
There are many other settings which specify how a particular distro's
services (archive and git) are provided. These should not normally be