guillotine
extension-manager
| guillotine | extension-manager | |
|---|---|---|
| 3 | 44 | |
| - | 912 | |
| - | - | |
| - | 9.3 | |
| - | 3 days ago | |
| C | ||
| - | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
guillotine
-
Extensions you can't live without?
I think you will like Guillotine more, it's basically just like Command Menu and is even configured with a JSON file, but Guillotine has more options like the possibility of single instance commands and commands that behave like toggle switches, also IMO neater looking menu.
-
How would I go about creating my own title-bar app icon?
1) go to https://gitlab.com/ente76/guillotine and clone it 2) open a terminal in the dir where you want to keep it 3) type git clone https://gitlab.com/ente76/guillotine.git 4) you should notice a new icon in the titlebar, check it out 5) create your new icons named NordVPN_green.png & NordVPN_red.png (or whatever your preference) 5a) I wasn't certain which directory they had to go in so I put copies in 3 locations: /home//Public/guillotine/ /home//.local/share/icons/ /home//.local/share/gnome-shell/extensions/[email protected]/ 6) edit the config file to look like this:
extension-manager
-
Firefox 115 can silently remotely disable my extension on any site
Extension Manager [0] allows for installing Gnome extensions through an libadwaita app.
This replaces the Gnome Extensions app and the browser extension.
[0]: https://github.com/mjakeman/extension-manager
- Alternative tile managers
-
How to remove 'gnome-shell-extensions'?
If I remember correctly you need gnome-shell-extensions for the auto update to work in extension manager. https://github.com/mjakeman/extension-manager
- I'm getting this error on Arch Linux and I'm unable to install extensions. Any tips on solving this?
-
GNOME 44 is out now
You can use https://github.com/mjakeman/extension-manager to check whether your extensions have support for a particular gnome version from the upgrade assistant.
-
the gnome extensions website doesn't detect the gnome browser connector, despite having it installed as well as the browser extension
FWIW, the GNOME Extensions addon broke on Firefox 110.1 (installed natively) on Arch Linux for me too at least a week ago. I've tried troubleshooting why, but came up with little. I've concluded it's just dead for some reason, on my system at least. I have since uninstalled it and have been using Extension Manager instead to manage my shell extensions for the time being. No complaints here.
-
Can't install Gnome Shell Extensions
My suggestion would be to start using https://github.com/mjakeman/extension-manager instead. I think it's much better than the browser-based way of installing them.
-
Getting upset with Manjaro lately
Bonus tip: Extension Manager is an app to manage your extensions.
-
extensions not compatible
https://github.com/mjakeman/extension-manager can show you a list of compatible extensions before you upgrade, and it also allows you to search and install extensions without the browser extension.
-
Hey, does any bothy know how to solve this problem? Thanks!
Finally, you might want to check out the Extension Manager app, this makes managing extension easier in my opinion.
What are some alternatives?
argos - Create GNOME Shell extensions in seconds
distrobox - Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
panel-corners - A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.
dom - DOM Standard
gnome-clipboard-history - Gnome Clipboard History is a clipboard manager Gnome extension that saves what you've copied into an easily accessible, searchable history panel.
topgrade - Upgrade everything
gnome-shell-extension-ddterm - Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
toolbox-vscode - Toolbox Visual Studio Code integration
g3kb-switch - CLI keyboard layout switcher for Gnome Shell
parlatype - GNOME audio player for transcription
compiz-windows-effect - Compiz wobbly windows effect for GNOME Shell
WHATWG HTML Standard - HTML Standard