Going out on a tangent here but..
I'm working on a raspberry pi home server at the moment .
It got me thinking, that given a Linux stack.
Maybe a raspberry would be a great developer companion.
It could do all the work, just mount a share from any client and code away in whatever environment you like.
There's probably a bunch of "what if's" to solve.
Like you would definitely need to setup the Pi to use a SSD of some sort
to get decent performance over the SD card.
I think RAM and docker would be too much for the PI
but I'm just guessing.
Works for my home server, but I have not stress-tested it tho. :)
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.