diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-26 19:50:29 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-26 19:55:59 +0100 |
commit | 964758788a7b4b145fd53971d8c91771749e8d95 (patch) | |
tree | 01968c26e922113db24cfab406ca1251c17ebba4 /dgit.1 | |
parent | f4e23593ad4e04711ec34d5b1d70f3a0508f2b66 (diff) |
Honour dgit-distros.DISTRO.cmd-CMD and .opts-CMD. Closes:#793427.
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -633,6 +633,23 @@ Not relevant for Debian. .TP .BI dgit-distro. distro .upload-host Might be useful if you have an intermediate queue server. +.TP +.BI dgit-distro. distro .cmd- cmd +Program to use instead of +.IR cmd . +Works like +.BR -- \fIcmd\fR = "... ." +.TP +.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. .SH ACCESS CONFIGURATION There are many other settings which specify how a particular distro's services (archive and git) are provided. These should not normally be |