this post was submitted on 18 Sep 2024
28 points (93.8% liked)

Linux

8111 readers
39 users here now

Welcome to c/linux!

Welcome to our thriving Linux community! Whether you're a seasoned Linux enthusiast or just starting your journey, we're excited to have you here. Explore, learn, and collaborate with like-minded individuals who share a passion for open-source software and the endless possibilities it offers. Together, let's dive into the world of Linux and embrace the power of freedom, customization, and innovation. Enjoy your stay and feel free to join the vibrant discussions that await you!

Rules:

  1. Stay on topic: Posts and discussions should be related to Linux, open source software, and related technologies.

  2. Be respectful: Treat fellow community members with respect and courtesy.

  3. Quality over quantity: Share informative and thought-provoking content.

  4. No spam or self-promotion: Avoid excessive self-promotion or spamming.

  5. No NSFW adult content

  6. Follow general lemmy guidelines.

founded 1 year ago
MODERATORS
 

Hey hey people. Relatively new Arch user here, but not new to Linux in general. I've been using Arch with KDE Plasma on this HP laptop from 2013, and I've been enjoying it a lot after spending a long time on Mint/Cinnamon.

But, I've noted that KDE is a bit slow on this machine, and is probably a bit too much. Earlier today, I decided to try out something lighter, and installed LXQt on it as a second DE. The experience was okay, with much improved responsiveness, a nice customizable retro look, and overall simpleness that still did the job mostly. But I also ran into a few issues that probably had to do with having two different DEs on the same machine and user. One thing in particular ended up annoying me so much I went back to KDE: The Discover app would just refuse to play nice with setting a dark theme on the rest of the environment, even when I tried setting it up with qt6ct.

So now I'm considering going to XFCE instead, as I probably should have done from the beginning. I just wish it had Wayland support already (I know it's being worked on). Do you have any suggestions or tips for me in regards to this? I'm sure a lot of people will recommend their favorite tiling WM which I'm not sure I want to get into.

Also, other than that, upon returning to KDE, I found that my Discover would crash when trying to update Flatpaks (the only thing I install through it) and started thinking this experiment somehow broke it.... but it's Flatpak itself that seems to have an issue today. Might have to do with the latest curl update? Dunno if I should make a separate thread for that. https://discuss.kde.org/t/kde-discover-broken-with-latest-curl-update/21475

top 15 comments
sorted by: hot top controversial new old
[–] [email protected] 3 points 1 month ago

Not that relevant to your post, but I'v been avoiding DE's altogether since the very first day I knew they weren't required to have a proper distro.

[–] [email protected] 4 points 1 month ago (1 children)

I was having the same issue with discover when I was trying LXQT a few weeks ago and I wasn't able to find a fix. This post made me look into it more and according to this reddit post, Discover uses the Kirigami UI framework, this led me to this forum post which says that you need to install the 'plasma-integration' package to make QT themes work with Kirigami based applications.

[–] [email protected] 4 points 1 month ago (1 children)

Incredible. I have never even heard of a Kirigami, and here I only thought I had to worry about if applications were Qt (which version) or GTK (also which version) and running under Xorg or Wayland. What the hell is a Kirigami. Well, thanks for the heads up. Such are the joys of being a Linux user!

[–] [email protected] 2 points 1 month ago (1 children)

Update: I checked last night and I already had the plasma-integration package installed this whole time. I'm stumped.

[–] [email protected] 3 points 1 month ago

The forum post says that plasma-integration will conflict with qt5ct or qt6ct, so you could try removing those packages and see if that works.

[–] [email protected] 3 points 1 month ago* (last edited 1 month ago)

Xfce for Wayland would be frigging amazing. That desktop is so fast on modern computers you can't take your finger off the mouse button before the app is launched and ready.

[–] [email protected] 14 points 1 month ago* (last edited 1 month ago) (1 children)

Try Xmonad! I run a community for it at https://infosec.pub/c/xmonad

It’s super lightweight and is the only formally verified window manager. There’s a new version being created for Wayland called Waymonad.

[–] [email protected] 2 points 1 month ago (1 children)

What does "formally verified" mean?

[–] [email protected] 12 points 1 month ago* (last edited 1 month ago) (1 children)

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

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

I think a friend of mine has a job where he writes formally verified code. For sensors in a nuclear power plant. I'm curious why it would be important for a WM?

[–] [email protected] 12 points 1 month ago* (last edited 1 month ago)

It’s not important unless Xmonad was being used for some kind of task where human lives are at risk if a mistake was made. In my case here (and indeed much of the Haskell world) it’s just fun to surround myself with software of that kind of code quality/reliability.

[–] [email protected] 5 points 1 month ago

Tiling WM that you are not sure you want to get into: Sway. It's a great alternative to i3 IMO.

What I use when I care to put in the effort of setting something up in great detail: Enlightenment. Some may argue that it's not "lightweight", but you can readily include only the bits you want, and avoid things like network config guis and system tray apps or whatever it is that you don't want. Even when you're using "all the things" which is not technically "lightweight" what it IS is performant. Oh, it's also very pretty.

[–] [email protected] 3 points 1 month ago (1 children)

Ah, just skip DEs altogether and setup Openbox with a minimal panel like tint2. It's not for Wayland — there might be an alternative, light window manager for that, I wouldn't know.

[–] [email protected] 3 points 1 month ago* (last edited 1 month ago) (1 children)

I have not used it, but labwc is apparently an openbox-alike compositor for Wayland.

Firstly, we believe that there is a need for a simple Wayland window-stacking compositor which strikes a balance between minimalism and bloat approximately at the level where Window Managers like Openbox reside in the X11 domain. Most of the core developers are accustomed to low resource Desktop Environments such as Mate/XFCE or standalone Window Managers such as Openbox under X11. Labwc aims to make a similar setup possible under Wayland, with small and independent components rather than a large, integrated software eco-system.

[–] [email protected] 1 points 1 month ago

Interesting! At some point I'll probably switch to Wayland, so it's good to hear there are minimalist solutions developed 👍