7:12 AM
10
To expand on Hamid's answer slightly, any of these three very similar commands will work if your only desire is to only download the specified package, and nothing else. (Your use case is not clearly stated, so it's unclear if that is what you want to do.) They all download the Debian package fil...
> However, I'm not sure what criteria they use to check - or, in other words, how hard it is to fool them.
2
apt provides a source retrieval command - apt source. $ apt source pppoe Reading package lists... Done Picking 'rp-pppoe' as source package instead of 'pppoe' Need to get 239 kB of source archives. Get:1 http://mirror.location.org/debian stretch/main rp-pppoe 3.12-1.1 (dsc) [1,708 B] Get:2 http:...
It seems pretty clear that the poster was asking for a command to download a Debian binary package, not the Debian sources. So this is not an answer to the question. — Faheem Mitha 15 secs ago
2 hours later…
2 hours later…
10:33 AM
Actually, I made an error when writing my question. I do want files that do not match the results. But if I change that in the question now, it will make all the answers wrong. Any suggestions on the best way to handle this? — Faheem Mitha 11 secs ago
11:09 AM
Also, can you explain what this line does?
rm -f "${filenames[@]/%.tex/.pdf}"
. — Faheem Mitha 10 secs ago11:47 AM
« first day (3760 days earlier) ← previous day next day → last day (1183 days later) »