So seems like code-server as an alternative would require a lot more server resources per student. I ran both our theia-base and the codercom/code-server image, opened the bashrc file and measured the memory usage, and it looks like theia is significantly more memory and network efficent:
So seems like code-server as an alternative would require a lot more server resources per student. I ran both our theia-base and the codercom/code-server image, opened the bashrc file and measured the memory usage, and it looks like theia is significantly more memory and network efficent: