Skip to content

Instantly share code, notes, and snippets.

@yavorski
Last active March 31, 2019 20:03
Show Gist options
  • Save yavorski/cf6e3f8f25c7c2e29f0651131ed611b4 to your computer and use it in GitHub Desktop.
Save yavorski/cf6e3f8f25c7c2e29f0651131ed611b4 to your computer and use it in GitHub Desktop.
install-gnome-extension

install gome extension

cd in extension directory

cd ~/my-ext

obtain extension UUID

MY_EXT_UUID=$(cat metadata.json | grep uuid | cut -d \" -f4)
MY_EXT_INSTALL_DIR=~/.local/share/gnome-shell/extensions/$MY_EXT_UUID

create installation directory

mkdir $MY_EXT_INSTALL_DIR

copy extension files ~/.local/share/gnome-shell/extensions/$MY_EXT_UUID

rsync ./my-ext/** -avh --no-perms --delete --exclude=".git" $MY_EXT_INSTALL_DIR

enable gnome extension

gnome-shell-extension-tool -e $MY_EXT_UUID
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment