diff options
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/package_commands.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 33208434959..1da21d24a45 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -246,6 +246,16 @@ class PackageCommands(CommandBase): credits_file.write(template.render(version=version)) delete(template_path) + print("Writing run-servo") + bhtml_path = path.join('${0%/*}', '..', 'Resources', 'browserhtml', 'index.html') + runservo = os.open( + path.join(content_dir, 'run-servo'), + os.O_WRONLY | os.O_CREAT, + int("0755", 8) + ) + os.write(runservo, '#!/bin/bash\nexec ${0%/*}/servo ' + bhtml_path) + os.close(runservo) + print("Creating dmg") os.symlink('/Applications', path.join(dir_to_dmg, 'Applications')) dmg_path = path.join(target_dir, "servo-tech-demo.dmg") |