On Tue, 8 Aug 2017, Vincent Lefevre wrote: > On 2017-08-08 15:53:34 +0200, Stefan Fritsch wrote: > > Now, where to put it? Into devscripts? The disadvantage is that devscripts > > already pulls in quite a few other packages via recommends. But I don't > > have a better idea. Unless we want to include it in reportbug or something > > like that? > > The one-line description of devscripts is: > > scripts to make the life of a Debian Package maintainer easier > > So it's mainly targeted at Debian Package maintainers, while such > a script would be useful to end users. > > Perhaps debian-goodies?
True, that's a better match. I will polish it a bug and then submit it. Cheers, Stefan
