From: Oswald Buddenhagen Date: Fri, 01 Sep 2023 11:00:09 GMT Subject: Re: Is there a way to get the "format-patch" formatted file name? Message-ID: In-Reply-To: <24e10903-29a0-497a-c8d8-b26c02de7336@redhat.com> On Fri, Sep 01, 2023 at 10:56:28AM +0200, Vít Ondruch wrote: >If this was provided as a some convenient script, > well, that's the key here: to be actually useful, it needs to be integrated into a highly specialized tool. the poor discoverability of that in conjunction with its somewhat minor utility is probably a sufficient argument for not going that route (beyond personal tool collections). github & co. providing a sensible content-disposition otoh is a (somewhat) well-known, generic solution to this problem. but i wouldn't be opposed to for example git-mailinfo learning to understand the --pretty argument, if the implementation doesn't turn out to be completely out of proportion. regards