Bash script to extract GNOME shell javascript files

gs-extract.sh

#!/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"