de beste downloads verzameld

linux

GNOME Shell Extensions 3.31.2

GNOME Shell Extensions is an open source and freely distributed project that provides users with a modest collection of extensions for the GNOME Shell user interface of the GNOME desktop environment. It contains a handful of extensions, carefully selected by technical members of the GNOME project. These extensions are designed to enhance users’ experience with the GNOME desktop environment.

Designed for GNOME

In general, GNOME Shell extensions can be used to customize the look and feel of the controversial desktop environment. In other words, to make your life a lot easier when working in GNOME. While the software is distributed as part of the GNOME project, installable from the default software channels of their Linux distributions, it is also available for download as a source archive, engineered to enable advanced users to configure, compile and install the software on any Linux OS.

Includes a wide variety of extensions for GNOME Shell

At the moment, the following GNOME-Shell extensions are included in this package: Alternate Tab, Apps Menu, Auto Move Windows, Drive Menu, Launch New Instance, Native Window Placement, Places Menu, systemMonitor, User Theme, Window List, windowsNavigator, and Workspace Indicator.

While some of them are self-explanatory, like systemMonitor, Window List, Workspace Indicator, Apps Menu or Alternate Tab, we should mention that the User Theme allows you to add a custom theme (skin) for the GNOME Shell, and Alternate Tab replaces the default ALT+TAB functionality with a sophisticated one.

In addition, the windowsNavigator extension allows you to select windows and workspaces in the GNOME Shell overlay mode using your keyboard, Native Window Placement will arrange windows in the overview mode in a more compact way, and Auto Move Windows will automatically move apps to a specific workspace when it is opened.

Bottom line

Overall, GNOME Shell Extensions is yet another important component of the GNOME desktop environment, especially when using the GNOME Shell user interface, making your life much easier and helping you achieve your goals faster. However, we believe that there are many other useful extensions out there that should be installed in this package.

GNOME-Shell extension GNOME-Shell plugin GNOME Shell GNOME-Shell Extension Plugin Shell