|
From: | Martin Dvh |
Subject: | Re: [Discuss-gnuradio] Re: gr_python.m4 |
Date: | Tue, 12 Jul 2005 01:37:13 +0200 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.5b) Gecko/20030823 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |