Extensions for GNOME 40 available in RebornOS

RebornOS offers some handy extensions for GNOME 40, which are only available in our repository. these extensions are:

gnome-shell-extension-dash-to-panel

gnome-shell-extension-arcmenu

gnome-shell-extension-dash-to-dock

gnome-shell-extension-taskbar-2020



IMPORTANT NOTE: These extensions are installed in /usr/share/gnome-shell/extensions. If we have any of these extensions installed locally (in ~/.local/share/gnome-shell/extensions) in their GNOME 3.38 compatible version, then extensions that are compatible with GNOME 40 will not work, since GNOME will use the locally installed extensions first. For those that are compatible with GNOME 40 to work, you will have to first uninstall the existing one (or existing ones) locally.

This means that if we have dash to panel installed locally, and we install dash to panel from the RebornOS repository, this extension will not work until its local version is uninstalled. This uninstallation is usually done from the GNOME extensions page. But as this page does not display extensions that are not compatible with the GNOME version in use, it will have to be uninstalled manually. This is done in the following way:

sudo rm -r ~/.local/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com

Then, we restart GNOME Shell by pressing Ctrl + F2, and entering the screen that will display an r, we give Enter, and wait until it returns control to us (this in X11).




GENERAL INFO:

Dash to panel
Dash to dock
Taskbar 2020
ArcMenu

1 Like