Created
April 30, 2019 12:40
-
-
Save borovaka/ba048f2d4153f23bcba0b5369823618c to your computer and use it in GitHub Desktop.
Apply patch to existing Fedora system - https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/521/commits
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /bin/bash | |
JS_EXTRACT_FOLDER=/opt/gnome-shell-js | |
#DETECT 32/64 BIT SYSTEM | |
if [ ! -d "/usr/lib64/" ]; then | |
GNOME_SHELL_LIB=/usr/lib/gnome-shell/libgnome-shell.so | |
else | |
GNOME_SHELL_LIB=/usr/lib64/gnome-shell/libgnome-shell.so | |
fi | |
PANEL_JS_FILE=$JS_EXTRACT_FOLDER/ui/panel.js | |
if [ ! -d "$JS_EXTRACT_FOLDER" ]; then | |
mkdir -p $JS_EXTRACT_FOLDER | |
cd $JS_EXTRACT_FOLDER | |
mkdir -p ui/components ui/status misc perf extensionPrefs gdm | |
for r in `gresource list $GNOME_SHELL_LIB`; do | |
gresource extract $GNOME_SHELL_LIB $r > ${r/#\/org\/gnome\/shell/.} | |
done | |
#APPLY THE FIX | |
sed 's/super.vfunc_allocate/this.set_allocation/g' $PANEL_JS_FILE > $PANEL_JS_FILE | |
#ADD ENV VARIABLE FOR GNOME TO LOAD JS FILES FROM THE FOLDER | |
echo "GNOME_SHELL_JS=/opt/gnome-shell-js" > /etc/environment | |
fi |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment