Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff --git a/src/gnome-shell.in b/src/gnome-shell.in
- index f1d5e0b..b875531 100755
- --- a/src/gnome-shell.in
- +++ b/src/gnome-shell.in
- @@ -147,12 +147,13 @@ def start_shell():
- # Work around Ubuntu xulrunner bug,
- # http://bugzilla.gnome.org/show_bug.cgi?id=573413
- - pkgconfig = subprocess.Popen(['pkg-config', '--variable=sdkdir', 'mozilla-js'],
- + xulrunner = subprocess.Popen(['xulrunner', '--gre-version'],
- stdout=subprocess.PIPE)
- - mozjs_sdkdir = pkgconfig.communicate()[0].strip()
- - pkgconfig.wait()
- - if pkgconfig.returncode == 0:
- - mozjs_libdir = re.sub('-(sdk|devel)', '', mozjs_sdkdir)
- + xulrunner.wait()
- + gre_version = xulrunner.communicate()[0].strip()
- + mozjs_pkglibdir = "/usr/lib/xulrunner-" + gre_version
- + if xulrunner.returncode == 0:
- + mozjs_libdir = mozjs_pkglibdir
- if os.path.exists(mozjs_libdir + '/libmozjs.so'):
- env['LD_LIBRARY_PATH'] = os.environ.get('LD_LIBRARY_PATH', '') + ':' + mozjs_libdir
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement