projects / dev-env-setup.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2dc3de) | patch
Allow choosing an alternate Debian mirror for the chroot
authorCesar Strauss <cestrauss@gmail.com>
Tue, 22 Aug 2023 22:01:15 +0000 (19:01 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Tue, 22 Aug 2023 22:01:15 +0000 (19:01 -0300)
commit1ebd5ec8d2116058a67eeec851b5e3351b809148
tree9bdd503fcfdf1fe20c3ea6bd9bc4b4627efa0d49tree
parentb2dc3deced1a94d7305adc3301c6d9f076787652commit | diff
Allow choosing an alternate Debian mirror for the chroot

For now, keep using the UK one as default.
mk-deb-chroot diff | blob | history
Development environment setup scripts