Luke Chen
Luke Chen
Perhaps the problem is related to latex mode? LaTeX and coq are my daily drives. I feel like this issue usually happens after a few hours of latex sessions, but...
The shadowsocks exists several branches (I'm currently using `libev` ported version), and may be used with other techniques (like I've enabled `OTA`, `tcp-fastopen`, `BBR` and `KCPTUN`). It would be a...
something in the issue title went wrong...oops... [Angular 2.0](https://angular.io) released.
https://github.com/loveshell/ngx_lua_waf nginx lua firewall
Yes, `C-c C-n` technically do the same thing, but I prefer `C-c RET` for three reasons, - muscle memory from using `C-c RET` for years from `coq-mode` has trained me...
> FYI, in fstar-vscode-assistant, when the user hits Ctrl+. the editor passes the current cursor location to the F* server, F* parses the buffer and advances to checker to up...
I'm sorry, I reached the conclusion too soon. Please check my new writeup. It seems like hyprland always crashes on my machine, just that sddm doesn't reappear with `uwsm stop`...
I just tried, `$XDG_SESSION_ID` was `4`, and after logout attempt and checking `systemctl status` in tty, `session-4.scope` did disappear. ``` ● luke-desktop State: running Units: 596 loaded (incl. loaded aliases)...
I tried to `systemctl status session-4.scope` and it says cannot find such a scope. Is there a `ps` argument that shows zombie of a session or some other arguments to...
I will give it a try tomorrow.