Linux
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.
view the rest of the comments
Struggling to get my dev environment setup on nixos. A bit of a tutorial gap for LEAN4 and sagemath in particular.
No autohotkey style automation, in particular I miss hotkeys that would move the mouse. Kmonad has done a ok job of rebinding keys, though it doesn't convert a held key into multiple inputs afaik.
Some VR games on steam are also a bit rough, possibly a graphics driver problem? (Though I would be just as happy for a Linux optimized resonite competitor.)