Introduction

Tired of working in a laggy VM ? Here are some instructions to avoid the VM, via a native setup on Linux or using WSL on Windows !

Even if you prefer or you need to work in the REDS VM, YOU MUST try out the sr CLI to execute several commands at once to shorten your feedback loop !.

If you are on Windows and don't know yet WSL, I recommend my Fedora WSL setup tutorial.

Credits

Note: This setup is inspired by

1. This SO3 documentation page which is not very up-to-date
2. The README of sye_student repos, doesn't seem up-to-date too
3. Looking into the provided VM (namely from reds-2024-02-daring-duck.ova)

Thanks to Victor Nicolet and Guilherme Pinto for the testing time to figure out Ubuntu inside WSL2 ! I hope this makes this setup usable for all students on Windows.