2022-11-12 13:15:20 +00:00
|
|
|
#!/bin/bash
|
2023-04-03 23:33:58 +00:00
|
|
|
pushd "${BASH_SOURCE%/*}" > /dev/null;
|
|
|
|
|
. "../../gnome-shell-extension-installer/install.sh";
|
2023-04-04 00:50:31 +00:00
|
|
|
. "./install-extension.sh";
|
2022-11-14 22:14:39 +00:00
|
|
|
|
2023-04-04 00:50:31 +00:00
|
|
|
extensions=(
|
2023-03-20 15:23:08 +00:00
|
|
|
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/
|
2023-04-04 00:50:31 +00:00
|
|
|
);
|
2023-01-23 15:15:19 +00:00
|
|
|
|
2023-04-04 00:50:31 +00:00
|
|
|
installExtension extensions;
|
2023-01-23 15:15:19 +00:00
|
|
|
killall -SIGQUIT gnome-shell;
|
2023-04-03 23:33:58 +00:00
|
|
|
popd > /dev/null;
|
