this post was submitted on 18 Jul 2024
54 points (83.8% liked)
Linux
48397 readers
1091 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
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Vanilla gnome isn't for me so I used to install some extensions when I used it.
After a few hopping, I stopped using Gnome, because I find that painful to :
On KDE, I just have to set it as I need it.
If you do not change distributions everyday, then it's not a big issue I guess.
But it might be troublesome for beginners trying distributions that have vanilla-close gnome to know that extensions exist. My needs are not complicated, so I only used extensions that allow me to have a dock on both of my screens, and to have the minimize button.
Yeah agreed 1000%.
I've installed Gnome for people in my fam. It's kind of absurd when they want to change the text size and we have to get into installing Gnome Tweaks, installing browser extension, installing the Gnome extension, configuring the extension.
I just use Plasma now.