Hi Marc, On Mi, 2015-06-24 at 18:41 +0200, Marc Haber wrote: (...) > > the notation ":::8066" may be used for both mini-buildd/http via > > --httpd-bind option (use dpkg-reconfigure) > > That question does not seem to be asked in the debconf scripts of > 1.0.7 (installed after a complete purge of mini-buildd, > mini-buildd-common and all dependencies):
yep, this is not asked for explicitly, however... > [4/462]mh@spinturn:~$ sudo env DEBIAN_FRONTEND=readline dpkg-reconfigure > mini-buildd -plow mini-buildd > Configuring mini-buildd > ----------------------- (...) > Please add any mini-buildd command line options you would like to use > ("mini-buildd --help" gives a list of available options). > > The only options really recommended for use here are "-v"/"--verbose" to > increase the log level or "-q"/"--quiet" to decrease it. > > Extra options: ...this is the place where to put this; 'mini-buildd --help' gives you all the other options you may add here. Arguably, --httpd-bind is also a useful option here, and maybe should be documented in the debconf description. Hth! S -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org