this post was submitted on 30 Jun 2023
9 points (90.9% liked)

Linux

53656 readers
1239 users here now

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.

Rules

Related Communities

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

founded 5 years ago
MODERATORS
top 11 comments
sorted by: hot top controversial new old
[–] [email protected] 6 points 2 years ago (1 children)

Dash to Dock is the absolute most essential extension.

[–] [email protected] 1 points 2 years ago

yes the most important

[–] [email protected] 4 points 2 years ago
[–] [email protected] 3 points 2 years ago

BTW I use GNOME without any extensions.

[–] zuvy 3 points 2 years ago* (last edited 2 years ago) (1 children)

Blur my shell, Alphabetical App Grid, Caffeine, Dash to Dock, Gnome Clipboard, AppIndicator and KStatusNotifierem Support, GSConnect, Vitals, User Themes, One Thing,

[–] [email protected] 2 points 2 years ago

Nice! I installed Blur my shell and One Thing. One thing is perfect, I've been doing this with paper lol.

[–] [email protected] 2 points 2 years ago* (last edited 2 years ago)

Some extensions I use:

  • Arc Menu
  • Autohide battery
  • blur my shell
  • burn my window
  • clipboard history
  • drive menu
  • GS Connect
  • rounded window corners
[–] [email protected] 2 points 2 years ago

pop-shell and something for desktop and tray icons, i dont remember those names.

[–] [email protected] 2 points 2 years ago* (last edited 2 years ago)