extension-manager
parlatype
| extension-manager | parlatype | |
|---|---|---|
| 44 | 1 | |
| 912 | 169 | |
| - | - | |
| 9.3 | 9.2 | |
| 5 days ago | 26 days ago | |
| C | C | |
| GNU General Public License v3.0 only | 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.
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.
parlatype
-
Any simple audio player that is well integrated with GNOME?
I believe Parlatype could serve you well
What are some alternatives?
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
JDSP4Linux - An audio effect processor for PipeWire and PulseAudio clients
dom - DOM Standard
mpv-playlistmanager - Mpv lua script to create and manage playlists
topgrade - Upgrade everything
obs-vaapi - OBS Studio VAAPI support via GStreamer
toolbox-vscode - Toolbox Visual Studio Code integration
g3kb-switch - CLI keyboard layout switcher for Gnome Shell
compiz-windows-effect - Compiz wobbly windows effect for GNOME Shell
WHATWG HTML Standard - HTML Standard
brutal - 🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
xdg-desktop-portal - Desktop integration portal