diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/settings_template_readonly.py | 4 | ||||
| -rw-r--r-- | tools/shared.py | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/tools/settings_template_readonly.py b/tools/settings_template_readonly.py index 45a30569..8d03237e 100644 --- a/tools/settings_template_readonly.py +++ b/tools/settings_template_readonly.py @@ -1,5 +1,5 @@ -# This file will be copied to ~/.emscripten if that file doesn't exist. Or, this is that copy. -# IMPORTANT: Edit the *copy* with the right paths! +# This file will be copied to ~/.emscripten if that file doesn't exist. + # Note: If you put paths relative to the home directory, do not forget os.path.expanduser import os diff --git a/tools/shared.py b/tools/shared.py index 2fc894d0..e46b10b9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -20,7 +20,9 @@ if '\n' in EM_CONFIG: else: CONFIG_FILE = os.path.expanduser(EM_CONFIG) if not os.path.exists(CONFIG_FILE): - shutil.copy(path_from_root('tools', 'settings_template_readonly.py'), CONFIG_FILE) + config_file = open(path_from_root('tools', 'settings_template_readonly.py')).read().split('\n') + config_file = config_file[1:] # remove "this file will be copied..." + open(CONFIG_FILE, 'w').write('\n'.join(config_file)) print >> sys.stderr, ''' ============================================================================== Welcome to Emscripten! |