diff --git a/mbed/mbed.py b/mbed/mbed.py index 157fbb33..761741c3 100644 --- a/mbed/mbed.py +++ b/mbed/mbed.py @@ -785,6 +785,10 @@ def revbranches(rev): def ignores(): try: + ignore_file_parent_directory = os.path.dirname(Git.ignore_file) + if not os.path.exists(ignore_file_parent_directory): + os.mkdir(ignore_file_parent_directory) + with open(Git.ignore_file, 'w') as f: f.write('\n'.join(ignores)+'\n') except IOError: @@ -799,6 +803,10 @@ def ignore(dest): if not exists: try: + ignore_file_parent_directory = os.path.dirname(Git.ignore_file) + if not os.path.exists(ignore_file_parent_directory): + os.mkdir(ignore_file_parent_directory) + with open(Git.ignore_file, 'a') as f: f.write(dest.replace("\\", "/") + '\n') except IOError: @@ -813,6 +821,10 @@ def unignore(dest): if dest in lines: lines.remove(dest) try: + ignore_file_parent_directory = os.path.dirname(Git.ignore_file) + if not os.path.exists(ignore_file_parent_directory): + os.mkdir(ignore_file_parent_directory) + with open(Git.ignore_file, 'w') as f: f.write('\n'.join(lines) + '\n') except IOError: