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

[Cesar Strauss]

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