Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #11982 from ConnorGBrewster/resources_linux_package

Browse source 
Copy resources on linux package

r=glennw, connorgbrewster
This commit is contained in:
Lars Bergstrom 2016-06-30 23:38:06 -05:00 • committed by GitHub
commit 50dca21a97
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/package_commands.py
View file

@ -154,6 +154,8 @@ class PackageCommands(CommandBase):
print("Packaged Servo into " + dmg_path)
else:
dir_to_package = '/'.join(binary_path.split('/')[:-1])
dir_to_root = '/'.join(binary_path.split('/')[:-3])
shutil.copytree(dir_to_root + '/resources', dir_to_package + '/resources')
browserhtml_path = find_dep_path_newest('browserhtml', binary_path)
if browserhtml_path is None:
print("Could not find browserhtml package; perhaps you haven't built Servo.")
@ -172,7 +174,7 @@ class PackageCommands(CommandBase):
'--pref', 'dom.mozbrowser.enabled',
'--pref', 'dom.forcetouch.enabled',
'--pref', 'shell.builtin-key-shortcuts.enabled=false',
path.join(browserhtml_path, 'out', 'index.html')]
path.join('./build/' + browserhtml_path.split('/')[-1], 'out', 'index.html')]
runservo = os.open(dir_to_package + '/runservo.sh', os.O_WRONLY | os.O_CREAT, int("0755", 8))
os.write(runservo, "./servo " + ' '.join(servo_args))