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.

  • ALoafOfBread@lemmy.ml
    link
    fedilink
    English
    arrow-up
    3
    ·
    edit-2
    4 days ago

    If you can’t see the terminal, then that’s pretty bad so idk -> if everything goes unresponsive I just slap my monitor in impotent fury and reboot

    If you can see the terminal but not the window, idk if xkill would work. Then you’d need to find the process id and kill it with pkill.

    Like say you’re playing age of empires 2: pgrep aoe (should return all running processes called aoe with their pids > process: aoe2 pid: 69420 …or something like that) then: pkill 69420 > ded

    https://man7.org/linux/man-pages/man1/pgrep.1.html