From: Cesar_Strauss <Cesar_Strauss@web>
Date: Tue, 22 Aug 2023 22:33:07 +0000 (+0100)
Subject: Allow choosing an alternate Debian mirror for the chroot
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7f6370c5d5ea8e38476769de3a3747fefaaaa6e0;p=libreriscv.git

Allow choosing an alternate Debian mirror for the chroot
---

diff --git a/HDL_workflow/devscripts.mdwn b/HDL_workflow/devscripts.mdwn
index f347b701d..2ec96bef6 100644
--- 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