From 551194e0f967768378f1bb6976478c6cfd7af61d Mon Sep 17 00:00:00 2001 From: Bartosz Jaroszewski Date: Sat, 23 May 2020 14:57:46 +0200 Subject: make extract.sh hidden --- .extract.sh | 29 +++++++++++++++++++++++++++++ .gitignore | 2 +- extract.sh | 29 ----------------------------- 3 files changed, 30 insertions(+), 30 deletions(-) create mode 100755 .extract.sh delete mode 100755 extract.sh 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" diff --git a/.gitignore b/.gitignore index d7a7d48..2586ac4 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,3 @@ /.idea /schemas/gschemas.compiled -/gnome-shell +/.gnome-shell diff --git a/extract.sh b/extract.sh deleted file mode 100755 index a4578fe..0000000 --- a/extract.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/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" -- cgit v1.2.3