Herman Torjussen

quick tip: i can recommend github actions for super simple setup https://github.com/features/actions github actions (in its beta) may need to be enabled/signed up per repo or for the entire organization...

Would be great to resolve this issue. I was confused why `ghci` wasn't in my shell path because `source ${HOME}/.ghcup/env` only ended up in `.bashrc` and not `.bash_profile`. Otherwise the...

So you want something like `"autosave": "on_focus_change_panel"` and `"autosave": "on_focus_change_buffer"`? By the way, in my zed there is a ~2s delay until autosave kicks in after I focus out with...