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

Linux

1259 readers
86 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 7 comments
sorted by: hot top controversial new old
[–] zenharbinger@lemmy.ml 5 points 1 year ago (1 children)

Dash to Dock is the absolute most essential extension.

[–] subash@programming.dev 1 points 1 year ago

yes the most important

[–] mudamuda@geddit.social 4 points 1 year ago

BTW I use GNOME without any extensions.

[–] zuvy@lemmy.ca 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,

[–] kool_newt 2 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.

[–] Jummit@lemmy.one 2 points 1 year ago* (last edited 1 year ago)
[–] sedot@feddit.de 2 points 1 year ago

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

load more comments
view more: next ›