diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-09-26 11:55:23 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-09-26 11:55:23 -0700 |
| commit | a7fdd2c63cb8b673a1a59d9d57ba41687a61ba0f (patch) | |
| tree | 153d2d2205e9167df5c4edf44173cca3d1b38284 /tools/shared.py | |
| parent | 926b9f56a28d8a902dbff4c954b1050a9d237d75 (diff) | |
remove misleading top line in settings when copying it to ~/.emscripten
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 3 insertions, 1 deletions
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! |