Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Package: Set shell.homepage to browserhtml

Browse source 
Closes #12154
This commit is contained in:
UK992 2016-12-27 21:37:16 +01:00
parent 456900b4ef
commit 01c7ac785b
4 changed files with 3 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

18
python/servo/package_commands.py
View file

@ -221,16 +221,6 @@ 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(dir_to_build, "servo-tech-demo.dmg")
@ -324,14 +314,6 @@ class PackageCommands(CommandBase):
change_prefs(dir_to_resources, "linux")
print("Writing runservo.sh")
servo_args = ['-b',
path.join('./browserhtml', 'index.html')]
runservo = os.open(path.join(dir_to_temp, 'runservo.sh'), os.O_WRONLY | os.O_CREAT, int("0755", 8))
os.write(runservo, "#!/usr/bin/env sh\n./servo " + ' '.join(servo_args))
os.close(runservo)
print("Creating tarball")
tar_path = path.join(path.dirname(binary_path), 'servo-tech-demo.tar.gz')