diff options
author | Bartosz Jaroszewski <b.jarosze@gmail.com> | 2020-05-23 14:57:46 +0200 |
---|---|---|
committer | Bartosz Jaroszewski <b.jarosze@gmail.com> | 2020-05-23 14:57:46 +0200 |
commit | 551194e0f967768378f1bb6976478c6cfd7af61d (patch) | |
tree | 964ef2a69818c88c0e645c25e9cfe7b76ffbe763 /.extract.sh | |
parent | 467b868fdc7fecc406c6b44818d93c29e1a684be (diff) |
make extract.sh hidden
Diffstat (limited to '.extract.sh')
-rwxr-xr-x | .extract.sh | 29 |
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" |