On 18-11-12 18:00, Bart Martens wrote: >> So, no luck so far. Do you have other ideas? > > Yes, you could set up a local repository and add it to /etc/apt/sources.list.
I moved wget to wget_org and replaced wget with a wrapper, stripping -q. The following is what happens: --2012-11-19 21:34:31-- http://people.debian.org/~bartm/flashplugin-nonfree/get-upstream-version.pl.gz.pgp Resolving \001 (\001)... failed: Name or service not known. wget_org: unable to resolve host address `\001' ERROR: wget failed to download http://people.debian.org/~bartm/flashplugin-nonfree/get-upstream-version.pl.gz.pgp More information might be available at: http://wiki.debian.org/FlashPlayer Log ended: 2012-11-19 21:34:32 Paul
signature.asc
Description: OpenPGP digital signature
