Eric Blossom wrote:
We could just blindly preform the replace, but that fails on the
pathological case of *nix filenames with literal \'s in them.
Hmmm, didn't think about that.
We probably also should introduce \ before any spaces in windows filenames.
Or just spit out an error like:
You used spaces in a path, your computer will be destroyed in 5 seconds.
(I really really really don't like the windows filename system and spaces in
paths)
if os.sep == '\\':
path = path.replace('\\','/')
path = path.replace(' ','\\ ')
Martin
_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
