diff --git a/README.md b/README.md index 0a957b1..c470ce4 100644 --- a/README.md +++ b/README.md @@ -21,6 +21,10 @@ To build the latest version, you'll need to install `npm` (the node.js package m 3. you can install the extension to a symlink in ~/.local/share/gnome-shell/extensions using: tools/gup dev-install + + Alternatively, to install the extension system-wide (available for all users), run: + + tools/gup install To compile stuff (after changing some source code), run `tools/gup compile`. You can add e.g `-j3` to compile stuff in parallel. diff --git a/install.gup b/install.gup new file mode 100644 index 0000000..4cf2d98 --- /dev/null +++ b/install.gup @@ -0,0 +1,8 @@ +#!bash -eu +here="$(pwd)" +gup --always + +dest="$PREFIX/usr/share/gnome-shell/extensions/shellshape@gfxmonk.net" +echo "Installing to $dest" +mkdir -p "$(dirname "$dest")" +cp -R "$here/shellshape" "$dest"