a fix released for media extension freezing gnome shell.

[thebestofall007]

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!

[olesawbones]

Thank you very much for the very best post on how to fix this issue, essential for a newb.

[thebestofall007]

you're welcome.