From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Eli Zaretskii" <eliz@is.elta.co.il>
To: jsmith@redhat.com
Cc: gdb-patches@sources.redhat.com
Subject: Re: RFC: "commands" command in user defined command
Date: Tue, 14 Aug 2001 00:07:00 -0000
Message-id: <6480-Tue14Aug2001100644+0300-eliz@is.elta.co.il>
References: <3B789BF5.90247675@redhat.com>
X-SW-Source: 2001-08/msg00165.html

> Date: Mon, 13 Aug 2001 22:33:09 -0500
> From: Jackie Smith Cashion <jsmith@redhat.com>
> 
> I feel that a better solution is to create a "sister" function
> user_commands_command. This function is almost a copy of
> commands_command except that instead of reading the command list
> interactively, it receives a pointer to the command list in an argument.

I don't have an opinion on this proposal, but if it gets approved,
please remember to update the user manual accordingly.