dev-install.gup

#!bash -eu
here="$(pwd)"
gup --always

dest="$HOME/.local/share/gnome-shell/extensions/shellshape@gfxmonk.net"
echo "Installing to $dest"
mkdir -p "$(dirname "$dest")"
ln -sfn "$here/shellshape" "$dest"