bug#47533: closed (bug in dejagnu 1.6.3-rc2)

[GNU bug Tracking System]

Your message dated Thu, 01 Apr 2021 18:14:05 -0500
with message-id <606653BD.2070404@gmail.com>
and subject line Re: bug#47533: bug in dejagnu 1.6.3-rc2
has caused the debbugs.gnu.org bug report #47533,
regarding bug in dejagnu 1.6.3-rc2
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
47533: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47533
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> bug in dejagnu 1.6.3-rc2
>
>
>
>
> Date: 
>
> Wed, 31 Mar 2021 14:37:16 -0600
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> I tried dejagnu 1.6.3-rc2.  I ran "runtest" on a subset of the gdb test
> suite, and this worked well.  Thank you.
>
> I tried the new "dejagnu" command but noticed two things.
>
> First in --help:
>
> Usage: dejagnu <command> [--help|options...]
> Usage: dejagnu --help
> Usage: dejagnu --version
>         --help                  Print help text
>         --version               Print DejaGnu version
>
> The GNU norm is to use upper-case for "metasyntactic variables", so
> normally it would say "dejagnu COMMAND [...]"
>
> Second, either --help or running it without options should probably show
> the available commands.
>
> Third, the use of tabs in the output makes it a bit weird to quote.
>
> thanks,
> Tom
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#47533: bug in dejagnu 1.6.3-rc2
>
>
>
>
> Date: 
>
> Thu, 01 Apr 2021 18:14:05 -0500
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0
>
>
>
>
> Tom Tromey wrote:
> > > > Usage: dejagnu <command> [--help|options...]
> > > >       
> >
> > Jacob> So how should that be written in GNU convention?
> > Jacob> "dejagnu COMMAND [ --help | OPTIONS... ]"?
> >
> > Yeah.
> >   
>
> Fixed in commit ea9642561c3f410dfb9f1362bc61fdf4e499b7f4 on the 
> dejagnu-1.6.3 branch.
>
> > > > Third, the use of tabs in the output makes it a bit weird to quote.
> > > >       
> >
> > Jacob> This was done for convenience, including that the help texts are
> > Jacob> actually read from the script files where they are "inset" using tabs.  
> > Jacob> (The line "# ##help" in the dejagnu launcher script introduces its own
> > Jacob> help text.)  What problems does this cause?
> >
> > None, it just looks unusual and then when I pasted it into the email, it
> > indented very weirdly as well.
>
> The "weird" indentation (unaffected by a small bit of left-edge text) is 
> intentional in the script files, since the help messages are embedded in 
> comments there.  I will consider possibly expanding tabs on output in a 
> future version but this is not really a bug right now.
>
>
> -- Jacob
>
>
> --- End Message ---