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: