diff options
| author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-08-20 00:23:11 +0200 |
|---|---|---|
| committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-08-20 00:25:17 +0200 |
| commit | 257fb1141f2dcb22d3ac6c8bb63af94bc3d652af (patch) | |
| tree | 5c46548160253594675de3b39cc0056c1d488c9a /bin | |
| parent | 5daa3a1cc0bced06c638952ececf4299ef71183a (diff) | |
updater: replace whitespace in dir names and strip the extra win dir layer
Change-Id: I543b903157d44038468eb4d92261dfd0d8b2909b
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/update/tools.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/update/tools.py b/bin/update/tools.py index 1e14f793cceb..8cd786635f0d 100644 --- a/bin/update/tools.py +++ b/bin/update/tools.py @@ -20,7 +20,12 @@ def uncompress_file_to_dir(compressed_file, uncompress_dir): zip_file = zipfile.ZipFile(compressed_file) zip_file.extractall(uncompress_dir) zip_file.close() - pass + + uncompress_dir = os.path.join(uncompress_dir, os.listdir(uncompress_dir)[0]) + if " " in os.listdir(uncompress_dir)[0]: + print("replacing whitespace in directory name") + os.rename(os.path.join(uncompress_dir, os.listdir(uncompress_dir)[0]), + os.path.join(uncompress_dir, os.listdir(uncompress_dir)[0].replace(" ", "_"))) else: print("Error: unknown extension " + extension) |