Re: [PATCH] xargs: support -a args-file

Hi Xabier, On Wed, 30 Aug 2017, Xabier Oneca -- xOneca wrote: > 2017-08-29 21:06 GMT+02:00 Denys Vlasenko : > > > > On Fri, Aug 25, 2017 at 10:42 PM, Johannes Schindelin > > wrote: > >> @@ -584,6 +593,7 @@ int xargs_main(int argc

Re: [PATCH] xargs: support -a args-file

Fixed, thanks! On Wed, Aug 30, 2017 at 12:18 PM, Xabier Oneca -- xOneca wrote: > Hello, > > 2017-08-29 21:06 GMT+02:00 Denys Vlasenko : >> Applied, thanks. >> >> On Fri, Aug 25, 2017 at 10:42 PM, Johannes Schindelin >>

Re: [PATCH] xargs: support -a args-file

Hello, 2017-08-29 21:06 GMT+02:00 Denys Vlasenko : > Applied, thanks. > > On Fri, Aug 25, 2017 at 10:42 PM, Johannes Schindelin > wrote: >> The GNU-specific option -a lets xargs read the arguments from a file >> rather than from stdin. >> >>

Re: [PATCH] xargs: support -a args-file

Applied, thanks. On Fri, Aug 25, 2017 at 10:42 PM, Johannes Schindelin wrote: > The GNU-specific option -a lets xargs read the arguments from a file > rather than from stdin. > > This is particularly convenient when debugging in gdb interactively, > and it might be of