add refresh button

1 files changed, 29 insertions, 0 deletions

diff --git a/extract.sh b/extract.sh
new file mode 100755
index 0000000..a4578fe
--- /dev/null
+++ b/extract.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+if [[ $# -ne 1 ]]; then
+    echo "usage $0 dir" >&2
+    exit 1
+fi
+
+dir="$1"
+
+if [[ -e $dir ]]; then
+    echo "Error: $dir already exists" >&2
+    exit 1
+fi
+
+mkdir -p "$dir"
+cd "$dir"
+
+GS=/usr/lib/gnome-shell/libgnome-shell.so
+
+for r in $(gresource list $GS); do
+    t="${r/#\/org\/gnome\/shell\/}"
+    mkdir -p $(dirname $t)
+    echo Extracting $t
+    gresource extract $GS $r >$t
+done
+
+echo
+echo "Now add the following to /etc/environment and restart gnome-shell"
+echo "if you want to run with these extracted source files."
+echo "GNOME_SHELL_JS=$PWD"