Re: [RFA 1/4] Add previous_saved_command_line to allow a command to repeat a previous command.

[Tom Tromey <tom@tromey.com>]

>>>>> "Philippe" == Philippe Waroquiers <philippe.waroquiers@skynet.be> writes:

Philippe> +/* The previous last command line executed on the console.  Used for command
Philippe> +   repetitions when a command want to relaunch the previously launched
Philippe> +   command.  We need this as when a command is running, saved_command_line
Philippe> +   already contains the line of the currently executing command.  */
Philippe> +char *previous_saved_command_line;

Is there a way to make this static?  Like have repeat_previous return
the desired value or something like that?

Philippe> +void
Philippe> +repeat_previous (void)

You can use () instead of (void) in C++.

Philippe> +  /* We cannot free saved_command_line, as this line is being executed,
Philippe> +     so swap it with previous_saved_command_line.  */
Philippe> +  previous_saved_command_line = saved_command_line;
Philippe> +  saved_command_line = tmp;

Just use std::swap here.

Tom