*Permananently Deleted*
*Permananently Deleted*

Permananently Deleted

My favorite extensions are the ones that remove annoying overlays: hide top bar and pixel saver


Either dash to dock or dash to panel (depending on what I’m in the mood for), top icon plus.

And the Tweaks app is a must.

That’s all I use, really. Gnome is pretty awesome the way it is, really. I really like that it gives you all the tools to have both a mouse driven and a keyboard driven workflow. I switch between the two workflows all the time, it’s just awesome to have it there and so accessible at all times.


Pop shell enables tiling. Gnome should have tiling by default imo, considering that the point of gnome is that it is keyboard-centric.


This is mine: https://extensions.gnome.org/extension/1362/custom-hot-corners/

I’m pretty sure that’s the one. I use hot corners a lot when I’m using a mouse / trackpad to quickly display all open applications, or to show the desktop.

If it gets integrated into Gnome I probably wouldn’t use any other extensions.

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word “Linux” in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

  • 0 users online
  • 45 users / day
  • 66 users / week
  • 140 users / month
  • 443 users / 6 months
  • 3708 subscribers
  • 1186 Posts
  • Modlog