Very useful extensions for the Gnome Shell Linux desktop environment.

Posted: September 7, 2012. At: 3:45 PM. This was 5 years ago. Post ID: 4547
Page permalink.
WordPress uses cookies, or tiny pieces of information stored on your computer, to verify who you are. There are cookies for logged in users and for commenters. These cookies expire two weeks after they are set.

https://extensions.gnome.org/extension/307/dash-to-dock/ Dash to Dock. This extension converts the Gnome Shell dash into a dock that remains visible unless a window encroaches on its space and then it will auto-hide.

https://extensions.gnome.org/extension/2/move-clock/ Move the clock to the left of the system tray.

https://extensions.gnome.org/extension/395/terminal-in-usermenu/. Add a shortcut to the Gnome Terminal in the user menu.

https://extensions.gnome.org/extension/355/status-area-horizontal-spacing/ Reduce the horizontal space between icons in the system tray.

https://extensions.gnome.org/extension/106/remove-user-name/ Remove your username from the top right of the panel; this will save precious space for other extensions.

A nice Gnome Shell desktop.
A nice Gnome Shell desktop.

No comments have been made. Use this form to start the conversation :)

Leave a Reply