cross-posted from: https://discuss.online/post/34255100
Thought I’d create a distinct thread from the previous one asking about daily use, because I really do want to hear more on people’s pain points. Great to know people are generally sounding pretty positive in those posts who recently switched, but want to know your difficulties as well! This way old and new users can share their thoughts, hopefully to inspire a respectful discussion.
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.)