tech support request Show more
How do I tell Linux: if this program is eating all memory except for 10MB, just kill it instead of swapping everything into those tiny leftovers?
Because this program is very well behaved and doesn't crash if its allocations fail, so it will just stay there having claimed almost every byte.
Looks like my afternoon project is going to be learning cgroups!
status: running "systemd-run --user --slice=limit-mem.slice -t -d" instead seems to work, now to hack Lean's rustup clone to do the invocation via systemd
fixed? re:tech support request Show more
lean --help runs in a new unit!
fixed! re:tech support request Show more
And the process "successfully" hung at 50% memory consuption instead of 99% 🎉 🐙
un-fixed :( re:tech support request Show more
dang, the LSP edition does not appreciate running in a cgroup, huh?
re-fixed! re:tech support request Show more
okay, `systemd-run --user --slice=lean.slice -tPdqG --wait lean --server $file` seems to work!
Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.