debian-cd-clone/tools
Steve McIntyre fccf852167 Another backport:
Change wget usage to make option handling easier

Switch all usage to $WGET, then set WGET in CONF.sh
First usage is to add --ca-directory /etc/ssl/ca-debian/ so https
certificates work.
2016-01-03 13:13:57 +00:00
..
boot Another backport: 2016-01-03 13:13:57 +00:00
etch Another backport: 2016-01-03 13:13:57 +00:00
lenny Another backport: 2016-01-03 13:13:57 +00:00
squeeze Another backport: 2016-01-03 13:13:57 +00:00
wheezy Another backport: 2016-01-03 13:13:57 +00:00
Packages-gen Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
add-bin-doc Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
add_files Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
apt-selection Backport more fixes for stable builds: 2014-04-08 18:37:17 +01:00
create_control Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
dedicated_source Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
generate_di+k_list update mips kernel packages 2015-02-12 02:19:01 +00:00
generate_di_list Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
generate_firmware_task Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
grab_md5 Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
grab_source_list Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
imagesums Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
jigdo_cleanup Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
link.pl Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
make-firmware-image Only checksum the firmware.* files 2015-10-07 16:29:01 +01:00
make_disc_trees.pl Backport: List Translations* in Release 2013-06-17 15:47:40 +01:00
make_image Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
merge_package_lists Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
my-dpkg-scanpackages Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
set_mkisofs_opts Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
sort_deps Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
sort_deps_edu Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
start_new_disc Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
update_popcon Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
update_tasks Fix up the wheezy branch 2013-06-15 13:17:40 +01:00
which_deb Fix up the wheezy branch 2013-06-15 13:17:40 +01:00