[Libre-soc-dev] Hard-coded Debian mirror in chroot dev script

Tobias Platen libre-soc at platen-software.de
Sat Apr 8 15:04:54 BST 2023


Hello,

Since I do not live in the UK either, I suggest either using an
environment variable, or better asking the user which mirror they
prefer.

Tobias

On Sat, 2023-04-08 at 09:44 -0300, Cesar Strauss via Libre-soc-dev
wrote:
> Greetings,
> 
> While porting ls2 to the Nexys Video, I decided to run the dev
> scripts 
> from scratch, to make sure the instructions given in 
> https://libre-soc.org/HDL_workflow/ls2/ work for everybody.
> 
> The creation of the chroot goes somewhat slowly for me, since the
> Debian 
> mirror is hard-coded to one in the UK 
> (https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=mk-deb-chroot;h=a02e46ffea4bb2b1297ce3ea8ee9648c788e9fdf;hb=577650135b6d19f63a7de31f759991005b576805#l68
> ).
> 
> I'd suggest either:
> 
> 1) select a mirror using an environment variable (e.g.
> CHROOT_DEBIAN_MIRROR)
> 
> 2) give the mirror URL to the script as a second (optional) command-
> line 
> argument
> 
> The default could be either:
> 
> 1) empty (debootstrap seems to pick a fast mirror, for me, in that
> case)
> 
> 2) keep it as of now, with the UK mirror.
> 
> Thoughts?
> 
> Regards,
> 
> Cesar
> 
> _______________________________________________
> Libre-soc-dev mailing list
> Libre-soc-dev at lists.libre-soc.org
> http://lists.libre-soc.org/mailman/listinfo/libre-soc-dev





More information about the Libre-soc-dev mailing list