From 7f6370c5d5ea8e38476769de3a3747fefaaaa6e0 Mon Sep 17 00:00:00 2001
From: Cesar_Strauss <Cesar_Strauss@web>
Date: Tue, 22 Aug 2023 23:33:07 +0100
Subject: [PATCH] Allow choosing an alternate Debian mirror for the chroot

---
 HDL_workflow/devscripts.mdwn | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2