How should we handle filenames containing spaces

[Joel Brobecker <brobecker at ACT-Europe dot FR>]

Hi,

  I have a modified version of the gdb 4.17 debugger built for VxWorks
PPC, and found a flaw in the "load" command. The syntax of this command
is 

          load <filename> <server filename>

The problem appears when one of the filenames contain some spaces.
I am about to go and fix the code, but I am wondering how GDB handles
this sort of problem from the user's point of view. 

I checked a few other commands that are also taking a filename as an
argument, but all of them worked because they take only one argument,
and therefore do not parse it.

My proposal would be to allow the use of double-quotes. Would that be
in line with GDB's way of handling these sorts of issues?

Thanks,
-- 
Joel