woockashek
woockashek

Reputation: 1638

GDB "server" command

During usage of ConqueGDB I noticed that it sends following commands:

I'm wondering what is the purpose of the server keyword here. Alone it returns:

Undefined command: "server". Try "help".

With other commands like those mentioned before it looks like the word is just ignored.

Upvotes: 0

Views: 159

Answers (1)

Tom Tromey
Tom Tromey

Reputation: 22529

The server prefix can be used to prevent a command from being put into the command history, and to avoid having it be available for command repetition. This is useful for front ends that want to run some commands without interfering with whatever the user might be doing. This is documented in the manual.

Upvotes: 1

Related Questions