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.
this post was submitted on 18 Sep 2024
28 points (93.8% liked)
Linux
8021 readers
40 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:
-
Stay on topic: Posts and discussions should be related to Linux, open source software, and related technologies.
-
Be respectful: Treat fellow community members with respect and courtesy.
-
Quality over quantity: Share informative and thought-provoking content.
-
No spam or self-promotion: Avoid excessive self-promotion or spamming.
-
No NSFW adult content
-
Follow general lemmy guidelines.
founded 1 year ago
MODERATORS
What does "formally verified" mean?
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.
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?
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.
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.
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.
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!
Update: I checked last night and I already had the plasma-integration package installed this whole time. I'm stumped.
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.
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.
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.
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.
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.
Interesting! At some point I'll probably switch to Wayland, so it's good to hear there are minimalist solutions developed 👍