2019-01-02 23:46:01 -05:00
|
|
|
fs=${1%.fs}
|
|
|
|
|
|
|
|
|
|
# let's *not* delete this directory; it's okay if previously-downloaded
|
|
|
|
|
# excess packages hang around in case we need them later.
|
|
|
|
|
#rm -rf "$fs"
|
|
|
|
|
mkdir -p "$fs"
|
|
|
|
|
redo-ifchange debootstrap.options
|
|
|
|
|
debootstrap \
|
|
|
|
|
--download-only \
|
|
|
|
|
--keep-debootstrap-dir \
|
|
|
|
|
$(cat debootstrap.options) \
|
2019-01-14 06:44:55 +00:00
|
|
|
"$fs" >&2
|
2019-01-02 23:46:01 -05:00
|
|
|
redo-ifchange "$fs/debootstrap/debootstrap.log"
|