Skip to content

Code Server Setup

Jump to bottom
Dan Salmon edited this page Apr 8, 2019 · 1 revision

To setup a dev environment using code-server, only the following commands need to be run.

apt install python3 python3-pip python 
pip install -r requirements.txt
git config --global --add user.name "Your name"
git config --global --add user.email "youremail@mail.tld"
git clone https://github.com/RUB-NDS/PRET.git
Clone this wiki locally