If this isn’t it, what is the recommended laptop thing for something that just runs a linux terminal for ssh’ing onto a machine that does the real work? I haven’t been able to reason out what would be good. It doesn’t seem like it’s easy to just stick a barebones linux on a chromebook, for example.
