ssh jump host

It’s claimed all over the Internet, here for example, that below works.

ssh -J username@host1:port username@host2:port

You’ll get an error like this:

Bad stdio forwarding specification 'username@host2:port:22'
ssh_exchange_identification: Connection closed by remote host

You have to specify the destination host port with the -p option.

ssh -pdestination_host_port -J username@jumphost:port username@destination_host

4.3.3. Manually copying files to the USB stick — the flexible way: where to get hd-media image

Instructions here:

https://www.debian.org/releases/stable/amd64/ch04s03.en.html#usb-copy-flexible

Substitute your mirror…

Generically:

https://debian.osuosl.org/debian/dists/stable/main/installer-amd64/current/images/hd-media/
http://ftp.debian.org/debian/dists/stable/main/installer-amd64/current/images/hd-media/

Specifically:

https://debian.osuosl.org/debian/dists/buster/main/installer-amd64/current/images/hd-media/
http://ftp.debian.org/debian/dists/buster/main/installer-amd64/current/images/hd-media/