script and a second time to use scripts *inside* the chroot. Feel free
to simply copy the repository into the chroot to save bandwidth.
+Note: these scripts assume that you are using debian/10 and that you
+understand and accept why we have standardised on that as an OS
+(reproduceability and minimising "support"). If you use anything
+different it risks creating non-reproducible HDL. It's not about
+"what's the favurite OS", it's about making sure that two developers
+can produce the **exact** same GDS-II files.
+
$ git clone https://git.libre-soc.org/git/dev-env-setup.git
$ cd dev-env-setup
$ sudo bash