#!/bin/bash
pushd "${BASH_SOURCE%/*}" > /dev/null;
. "../../gnome-shell-extension-installer/install.sh";
. "./install-extension.sh";

extensions=(
    5278 # pano                         https://extensions.gnome.org/extension/5278/pano/
    4907 # EasyEffects Preset Selector  https://extensions.gnome.org/extension/4907/easyeffects-preset-selector/
    1162 # Emoji Selector               https://extensions.gnome.org/extension/1162/emoji-selector/
);

installExtension extensions;
killall -SIGQUIT gnome-shell;
popd > /dev/null;