Re: [bug-gnulib] gnulib-tool: don't ever forget to set $dry again

2005-09-19 Thread Bruno Haible
Ralf Wildenhues wrote: > Hmm. This way forces you to write > if $dry; then > echo do something > else > do something > fi Yes. I think the user of gnulib-tool prefers to read an English summary of the actions that would be performed, rather than a list of shell commands. Bruno _

Re: [bug-gnulib] gnulib-tool: don't ever forget to set $dry again

2005-09-14 Thread Ralf Wildenhues
Hi Bruno, * Bruno Haible wrote on Wed, Sep 14, 2005 at 10:53:53PM CEST: > Ralf Wildenhues wrote: > > This patch makes $dry_run obsolete in favor of using $dry only. This > > way, the repeated and error-prone setting of the latter is eliminated. > > Thanks for the patch. I plan to fix this proble

Re: [bug-gnulib] gnulib-tool: don't ever forget to set $dry again

2005-09-14 Thread Bruno Haible
Ralf Wildenhues wrote: > This patch makes $dry_run obsolete in favor of using $dry only. This > way, the repeated and error-prone setting of the latter is eliminated. Thanks for the patch. I plan to fix this problem, alongside with the need for different echo messages in the real case vs. dry-run