a fix released for media extension freezing gnome shell.

Write tutorials and howtos in here
There are more tutorials here http://community.linuxmint.com/tutorial/welcome
Forum rules
Do not start a support topic here please. Before you post please read this

a fix released for media extension freezing gnome shell.

Postby thebestofall007 on Sun Apr 01, 2012 11:27 pm

hello folks, i noticed there were many of you that were having problems with MGSE media player extension breaking Gnome Shell in mint 12 lisa 64-bit (although it might also apply to 32 bit too) while playing banshee after some time with it causing the desktop to freeze up (although you still can move the mouse arrow). this is caused by an error in the extension.js file located at: /usr/share/gnome-shell/extensions/mediaplayer@linuxmint.com/extension.js. i found a fix located in this link: https://bugs.launchpad.net/linuxmint/+bug/892316.

I figure i would try to make it easier to perform this fix here based on the link:

open a terminal and copy/paste the following to have the terminal work on your desktop directory (it makes it easier to see where the two diff files you will be downloading will go):

Code: Select all
cd $HOME/Desktop


now copy/paste the following to download the first of two .diff files:

diff file one:
Code: Select all
wget https://bugs.launchpad.net/linuxmint/+bug/892316/+attachment/2629986/+files/mgse-mediaplayer.diff


once downloaded, copy/paste the following command with the diff file to apply the patch it contains:

Code: Select all
sudo patch /usr/share/gnome-shell/extensions/mediaplayer@linuxmint.com/extension.js mgse-mediaplayer.diff
.

the two files will have the same name, so either delete the first "mgse-mediaplayer.diff", move, or rename it to avoid conflicts before proceeding to download the second .diff with this command:

diff file two:
Code: Select all
wget https://bugs.launchpad.net/linuxmint/+bug/892316/+attachment/2631273/+files/mgse-mediaplayer.diff


once the second "mgse-mediaplayer.diff" file is downloaded, apply that patch with this command again:

Code: Select all
sudo patch /usr/share/gnome-shell/extensions/mediaplayer@linuxmint.com/extension.js mgse-mediaplayer.diff


this is how i was able to fix this VERY ANNOYING problem once and for all. my gnome shell hasn't crashed yet. i chose to rename the first file because i wanted to keep both patches and know which was which so i could patch any new installs with them.

i hope the Linux Mint 13 LTS release has this issue fixed
good luck folks!
thebestofall007
Level 1
Level 1
 
Posts: 5
Joined: Mon Mar 08, 2010 1:39 pm

Linux Mint is funded by ads and donations.
 

Re: a fix released for media extension freezing gnome shell.

Postby olesawbones on Thu Apr 19, 2012 10:02 pm

Thank you very much for the very best post on how to fix this issue, essential for a newb.
olesawbones
Level 1
Level 1
 
Posts: 1
Joined: Thu Apr 19, 2012 10:00 pm

Re: a fix released for media extension freezing gnome shell.

Postby thebestofall007 on Fri Apr 20, 2012 12:03 pm

you're welcome.
thebestofall007
Level 1
Level 1
 
Posts: 5
Joined: Mon Mar 08, 2010 1:39 pm


Return to Tutorials / Howtos

Who is online

Users browsing this forum: No registered users and 15 guests