Simple GNOME Shell extension manager in the top panel.
Keep it simple. —— stupid
The latest and supported version should only work on the current stable version of GNOME Shell.
git clone https://github.com/tuberry/extension-list.git && cd extension-list
meson setup build && meson install -C build
# meson setup build -Dtarget=system && meson install -C build # system-wide, default --prefix=/usr/localFor older versions, it's recommended to install via:
gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell \
--method org.gnome.Shell.Extensions.InstallRemoteExtension 'extension-list@tu.berry'It's quite the same as installing from:
Feel free to open an issue or PR in the repo for any question or idea.
To initialize or update the po file from sources:
bash ./cli/update-po.sh [your_lang_code] # like zh_CN, default to $LANGTo install GJS TypeScript type definitions:
npm install @girs/gnome-shell --save-dev- extensions: the idea