this post was submitted on 30 Jun 2023
8 points (90.0% liked)

Linux

48149 readers
920 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] 5 points 1 year ago (1 children)

Dash to Dock is the absolute most essential extension.

[–] subash 1 points 1 year ago

yes the most important

[–] [email protected] 4 points 1 year ago

BTW I use GNOME without any extensions.

[–] [email protected] 3 points 1 year ago
[–] [email protected] 2 points 1 year ago* (last edited 1 year 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] 1 points 1 year 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 1 year ago

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

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

Some extensions I use:

  • Arc Menu
  • Autohide battery
  • blur my shell
  • burn my window
  • clipboard history
  • drive menu
  • GS Connect
  • rounded window corners