Allow choosing an alternate Debian mirror for the chroot

diff --git a/HDL_workflow/devscripts.mdwn b/HDL_workflow/devscripts.mdwn
index f347b701ddf5a1b24de51fbdfbca2d248fb2356b..2ec96bef61e564ee2e4cf551f8639a40cd7dab08 100644 (file)
--- a/HDL_workflow/devscripts.mdwn
+++ b/HDL_workflow/devscripts.mdwn
@@ -30,6 +30,7 @@ if you are going to drop USD 16 million on 7nm Mask Charges.
     $ git clone https://git.libre-soc.org/git/dev-env-setup.git
     $ cd dev-env-setup
     $ sudo bash
+    (optional: # export CHROOT_DEBIAN_MIRROR=http://ftp.<mirror>.debian.org/debian)
     # ./mk-deb-chroot libresoc
     # ./cp-scripts-to-chroot libresoc # copies dev-env-setup to chroot
     # exit