this post was submitted on 14 Mar 2024
49 points (88.9% liked)
Linux
48208 readers
814 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
I don't want to switch distros. I want to change the theme to one with more padding.
You don't have to switch distros, you should be able to have GNOME and KDE installed side by side, and pick which one on the login screen (at least in GDM & SDDM), unless you're running an immutable distro.
Having both Gnome and KDE installed at the same time might lead to unexpected and difficult to diagnose issues. E.g. I've had issues with broken themes when the same user/home directory is used.
Another example: having both xdg-desktop-portal-gnome and xdg-desktop-portal-kde installed at the same time, sometimes leads to broken file chooser and screen share (at least that's the case with other xdp, like xdp-wlr). The portal issues are more likely to be noticed while using Wayland and/or flatpak, as they make use of portals.
Yes, dont install different DEs on the same system or user account.
Maybe that was easier in the past and that may be sad.